4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel.
Published in: FMBC@CAV (2022)
Keyphrases
- formal methods
- expert systems
- knowledge based systems
- lecture notes in artificial intelligence
- artificial intelligence
- selected papers
- formal analysis
- provably correct
- model checking
- czech republic
- formal specification
- model checker
- knowledge discovery and data mining
- process algebra
- temporal properties
- special issue
- software engineering
- safety critical
- ifip th world computer congress
- conference proceedings
- reactive systems
- lecture notes
- databases
- knowledge base
- knowledge representation
- development process