Keyphrases
- international symposium
- model checking
- temporal logic
- computational intelligence
- formal verification
- formal methods
- model checker
- ambient intelligence
- temporal properties
- revised papers
- automated verification
- reactive systems
- formal specification
- pspace complete
- timed automata
- symbolic model checking
- verification method
- lecture notes
- software development
- epistemic logic
- book constitutes the refereed proceedings
- software testing
- reachability analysis
- software systems
- source code
- computation tree logic
- abstract interpretation
- concurrent systems
- transition systems
- deterministic finite automaton
- international workshop
- alternating time temporal logic
- linear temporal logic
- asynchronous circuits
- artificial intelligence
- control flow
- intelligent systems
- satisfiability problem