Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.
Giridhar PemmasaniC. R. RamakrishnanI. V. RamakrishnanPublished in: ICLP (2002)
Keyphrases
- logic programming
- model checking
- logic programs
- temporal logic
- answer set programming
- deductive databases
- knowledge representation
- formal specification
- reasoning tasks
- model checker
- knowledge base
- programming language
- nonmonotonic reasoning
- answer sets
- finite state machines
- epistemic logic
- constraint satisfaction
- formal methods
- stable models
- reasoning about actions
- linear logic
- default logic
- constraint programming
- search algorithm
- object oriented