Modelchecking of CTL Formulae under Liveness Assumptions.

Published in: ICALP (1987)

Keyphrases

model checking
temporal logic
bounded model checking
databases
database systems
computation tree logic
real world
information retrieval
search engine
belief revision
propositional logic
temporal properties
linear temporal logic