Augmenting a Regular Expression-Based Temporal Logic with Local Variables.
Cindy EisnerDana FismanPublished in: FMCAD (2008)
Keyphrases
- temporal logic
- regular expressions
- model checking
- pattern matching
- satisfiability problem
- finite automata
- modal logic
- query language
- regular path queries
- matching algorithm
- semistructured data
- computation tree logic
- belief revision
- approximate matching
- xml schema
- concurrent systems
- automata theoretic
- verification method
- linear temporal logic
- formal specification language
- deterministic finite automata
- dynamic constraints
- logical formulas
- static analysis
- query evaluation
- bounded model checking
- semistructured databases
- object oriented