Complexity of Monadic inf-datalog. Application to temporal logic

Eugénie Foustoucos Irène Guessarian

Published in: CoRR (2006)

Keyphrases

temporal logic
model checking
modal logic
deductive databases
satisfiability problem
datalog programs
verification method
transition systems
computational complexity
software engineering
transitive closure
concurrent systems
bounded model checking
computation tree logic