Faster Model Checking for Open Systems.
Madhavan MukundK. Narayan KumarScott A. SmolkaPublished in: ASIAN (1999)
Keyphrases
- model checking
- open systems
- temporal logic
- autonomous agents
- symbolic model checking
- formal verification
- automated verification
- model checker
- reachability analysis
- temporal properties
- verification method
- formal specification
- computation tree logic
- multiagent systems
- transition systems
- timed automata
- pspace complete
- cognitive agents
- mobile communication
- linear temporal logic
- formal methods
- concurrent systems
- bounded model checking
- wireless communication
- dynamic environments
- planning domains
- deterministic finite automaton
- alternating time temporal logic