Keyphrases
- formal methods
- lecture notes in artificial intelligence
- international workshop
- software engineering
- artificial intelligence
- lecture notes
- computer science
- formal analysis
- model checker
- model checking
- selected papers
- provably correct
- safety critical
- software development
- software systems
- reverse engineering
- formal specification
- design patterns
- knowledge based systems
- programming language
- proceedings of the th international conference
- object oriented
- process algebra
- machine learning
- security properties
- development lifecycle