Keyphrases
- formal methods
- artificial intelligence
- international conference
- international workshop
- formal analysis
- lecture notes in artificial intelligence
- advances in artificial intelligence
- safety critical
- computer science
- knowledge based systems
- international symposium
- model checker
- virtual environment
- model checking
- lecture notes
- formal specification
- event detection
- computational intelligence
- provably correct
- knowledge discovery and data mining
- selected papers
- software engineering
- reactive systems
- working conference
- process algebra
- formal specification language
- machine learning
- invited talk
- knowledge acquisition
- expert systems
- database systems
- development lifecycle