Verifying Pattern-Generated LTL Formulas: A Case Study.

Salamah Salamah Ann Q. Gates Steve Roach Oscar Mondragon

Published in: SPIN (2005)

Keyphrases

model checking
linear time temporal logic
case study
deterministic automata
pattern matching
temporal logic
pattern discovery
database
data sets
databases
information retrieval
artificial intelligence
automatically generated
pattern detection
linear temporal logic