Verification by Augmented Abstraction: The Automata-Theoretic View.

Yonit Kesten Amir Pnueli Moshe Y. Vardi

Published in: J. Comput. Syst. Sci. (2001)

Keyphrases

automata theoretic
temporal logic
model checking
regular path queries
high level
database
databases
data mining
knowledge base