Keyphrases
- international symposium
- formal methods
- lecture notes
- model checking
- model checker
- revised papers
- computational intelligence
- ambient intelligence
- computer science
- artificial intelligence
- formal analysis
- knowledge based systems
- safety critical
- formal specification
- international workshop
- temporal logic
- book constitutes the refereed proceedings
- software engineering
- international conference
- development lifecycle
- formal specification language
- life cycle
- intelligent systems
- knowledge representation
- expert systems
- decision making