Efficient First-Order Temporal Logic for Infinite-State Systems

Clare Dixon Michael Fisher Boris Konev Alexei Lisitsa

Published in: CoRR (2007)

Keyphrases

temporal logic
linear temporal logic
model checking
mazurkiewicz traces
reactive systems
dynamic constraints
modal logic
satisfiability problem
verification method
first order logic
predicate logic
knowledge based systems
temporal knowledge
temporally extended
computation tree logic