Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017).
Simone André da Costa CavalheiroJosé Luiz FiadeiroPublished in: Sci. Comput. Program. (2020)
Keyphrases
- selected papers
- formal methods
- computer science
- annual conference
- invited talk
- international workshop
- knowledge based systems
- artificial intelligence
- model checking
- formal specification
- provably correct
- safety critical
- formal analysis
- model checker
- software engineering
- review process
- conference proceedings
- development lifecycle
- reactive systems
- program committee
- formal specification language
- database
- dagstuhl castle
- databases and information systems
- software development
- expert systems
- database systems
- databases