Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).
Adenilso da Silva SimãoCarroll MorganPublished in: Sci. Comput. Program. (2014)
Keyphrases
- selected papers
- formal methods
- annual conference
- computer science
- international workshop
- formal analysis
- invited talk
- safety critical
- model checking
- model checker
- knowledge based systems
- formal specification
- artificial intelligence
- software engineering
- dagstuhl castle
- process algebra
- review process
- reactive systems
- security properties
- program committee
- conference proceedings
- knowledge discovery
- provably correct
- databases
- software architecture
- database