Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020.
Gustavo CarvalhoVolker StolzPublished in: Sci. Comput. Program. (2022)
Keyphrases
- selected papers
- formal methods
- international workshop
- annual conference
- invited talk
- formal analysis
- artificial intelligence
- formal specification
- model checking
- knowledge based systems
- lecture notes in artificial intelligence
- conference proceedings
- safety critical
- computer science
- process algebra
- provably correct
- dagstuhl castle
- model checker
- review process
- modeling language
- asia pacific
- program committee
- temporal logic
- multi agent systems
- development lifecycle
- formal specification language
- knowledge base