Keyphrases
- formal methods
- international workshop
- artificial intelligence
- lecture notes
- computer science
- selected papers
- international conference
- formal analysis
- safety critical
- international symposium
- model checking
- formal specification
- working conference
- model checker
- software engineering
- provably correct
- advances in artificial intelligence
- process algebra
- knowledge based systems
- computational intelligence
- reactive systems
- security properties
- data model
- knowledge discovery and data mining
- databases
- database systems
- development lifecycle
- latin america
- formal specification language