Model Checking Abstract State Machines with Answer Set Programming.
Calvin Kai Fan TangEugenia TernovskaPublished in: LPAR (2005)
Keyphrases
- model checking
- answer set programming
- temporal logic
- logic programming
- logic programs
- answer sets
- formal verification
- model checker
- formal specification
- finite state
- reasoning tasks
- epistemic logic
- symbolic model checking
- computation tree logic
- verification method
- formal methods
- finite state machines
- knowledge representation
- stable models
- bounded model checking
- machine learning
- orders of magnitude
- natural language
- high level