Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.
Matthew B. DwyerJohn HatcliffMatthew Hoosier RobbyPublished in: CAV (2005)
Keyphrases
- model checking
- model checker
- temporal logic
- formal verification
- formal methods
- formal specification
- symbolic model checking
- finite state
- test suite
- epistemic logic
- transition systems
- software architecture
- specification language
- concurrent systems
- logical framework
- reactive systems
- binary decision diagrams
- description language
- dynamic programming