2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference).
Published in: FMBC@CAV (2020)
Keyphrases
- los angeles
- formal methods
- selected papers
- panel discussion
- computer personnel research group
- knowledge based systems
- model checking
- formal analysis
- artificial intelligence in medicine
- model checker
- safety critical
- process algebra
- workshop proceedings
- software engineering
- formal specification
- invited paper
- artificial intelligence
- stanford university
- reactive systems
- annual conference
- lecture notes
- acm sigkdd
- expert systems
- conference proceedings
- international workshop
- national science foundation
- development lifecycle
- data model