Keyphrases
- international symposium
- formal verification
- evaluation campaigns
- computational intelligence
- model checking
- international conference
- revised papers
- model checker
- bounded model checking
- ambient intelligence
- symbolic model checking
- automated verification
- cellular automata
- modal logic
- information access
- lecture notes
- test collection
- neural network
- artificial neural networks
- human computation
- distributed systems
- digital libraries
- knowledge base