The Complexity of Model Checking Higher-Order Fixpoint Logic.
Roland AxelssonMartin LangeRafal SomlaPublished in: Log. Methods Comput. Sci. (2007)
Keyphrases
- np complete
- pspace complete
- fixpoint
- model checking
- finite state machines
- coalition logic
- logic programs
- deductive databases
- logic programming
- horn clauses
- epistemic logic
- model checker
- temporal logic
- asynchronous circuits
- bounded model checking
- formal verification
- alternating time temporal logic
- transition systems
- model theoretic
- nonmonotonic reasoning
- modal logic
- verification method
- linear temporal logic
- stable models
- computation tree logic
- formal methods
- integrity constraints
- first order logic
- linear time temporal logic
- orders of magnitude
- ctl model update
- programming language