Model Checking Abstract State Machines with Answer Set Programming.
Calvin Kai Fan TangEugenia TernovskaPublished in: Fundam. Informaticae (2007)
Keyphrases
- model checking
- answer set programming
- temporal logic
- logic programming
- logic programs
- answer sets
- formal verification
- reasoning tasks
- formal specification
- model checker
- symbolic model checking
- finite state
- finite state machines
- bounded model checking
- epistemic logic
- computation tree logic
- knowledge representation
- formal methods
- verification method
- alternating time temporal logic
- stable models
- planning domains
- domain independent