Adapting side effects analysis for modular program model checking.
Oksana TkachukMatthew B. DwyerPublished in: ESEC / SIGSOFT FSE (2003)
Keyphrases
- model checking
- temporal logic
- dynamic analysis
- formal verification
- reachability analysis
- verification method
- finite state machines
- model checker
- partial order reduction
- transition systems
- timed automata
- symbolic model checking
- temporal properties
- epistemic logic
- artificial intelligence
- static analysis
- software engineering
- web services