Extending Co-logic Programs for Branching-Time Model Checking.

Published in: LOPSTR (2013)

Keyphrases

model checking
logic programs
temporal logic
logic programming
epistemic logic
stable models
formal verification
formal specification
model checker
answer sets
answer set programming
fixpoint
finite state
finite state machines
bounded model checking
formal methods
satisfiability problem
modal logic
knowledge base