State-Based Model Checking of Event-Driven System Requirements.
Joanne M. AtleeJohn D. GannonPublished in: IEEE Trans. Software Eng. (1993)
Keyphrases
- model checking
- event driven
- temporal logic
- finite state machines
- transition systems
- temporal properties
- automated verification
- formal specification
- finite state
- symbolic model checking
- verification method
- model checker
- deterministic finite automaton
- formal methods
- partial order reduction
- formal verification
- bounded model checking
- pspace complete
- state space
- timed automata
- temporally extended
- computation tree logic
- epistemic logic
- concurrent systems
- markup language
- asynchronous circuits
- real time
- reachability analysis
- automated reasoning
- object oriented
- artificial intelligence