Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019.
Adolfo DuranPhilip WadlerPublished in: Sci. Comput. Program. (2021)
Keyphrases
- formal methods
- artificial intelligence
- knowledge based systems
- international workshop
- formal analysis
- safety critical
- computer science
- model checker
- model checking
- formal specification
- selected papers
- provably correct
- temporal properties
- process algebra
- software engineering
- invited talk
- development lifecycle
- modeling language
- workshop on data mining
- information systems
- formal specification language
- machine learning
- software systems
- multi agent