Efficient temporal-logic query checking for presburger systems.

Dezhuang Zhang Rance Cleaveland

Published in: ASE (2005)

Keyphrases

temporal logic
model checking
verification method
modal logic
reactive systems
query processing
concurrent systems
dynamic constraints
data sources
complex systems
retrieval systems
satisfiability problem
linear temporal logic
software engineering
temporal knowledge