Checking Extended CTL properties Using Guarded Quotient Structures.

A. Prasad Sistla Xiaodong Wang Min Zhou

Published in: SEFM (2004)

Keyphrases

temporal properties
model checking
temporal logic
structural properties
topological properties
structural features
databases
data mining
artificial intelligence
knowledge base
search algorithm
fixed point