Implementing a fair monodic temporal logic prover.

Michel Ludwig Ullrich Hustadt

Published in: AI Commun. (2010)

Keyphrases

temporal logic
predicate logic
model checking
modal logic
satisfiability problem
theorem proving
belief revision
verification method
concurrent systems
model checker
linear temporal logic
theorem prover
knowledge base
formal specification
temporal knowledge
bounded model checking