Keyphrases
- international symposium
- formal verification
- model checking
- international conference
- computational intelligence
- revised papers
- automated verification
- ambient intelligence
- model checker
- finite state
- bounded model checking
- symbolic model checking
- cellular automata
- temporal logic
- lecture notes
- book constitutes the refereed proceedings
- modal logic
- artificial intelligence
- carefully reviewed and selected from submissions
- data mining
- machine learning
- computer science
- knowledge base