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