Specification of an Infinite-State Local Model Checker in Rewriting Logic.
Bow-Yaw WangPublished in: SEKE (2005)
Keyphrases
- model checker
- formal verification
- formal methods
- formal specification
- model checking
- transition systems
- specification language
- temporal logic
- epistemic logic
- symbolic model checking
- description language
- set theory
- test suite
- reactive systems
- artificial intelligence
- ai planning
- programming language
- concurrent systems
- modal logic
- orders of magnitude
- knowledge based systems
- planning domains
- reverse engineering
- test cases
- domain specific
- knowledge representation
- search algorithm
- knowledge base