Synthesis of Sequential Extended Regular Expressions for Verification.

Mohamad Noureddine Fadi A. Zaraket Ali S. Elzein

Published in: CoRR (2014)

Keyphrases

regular expressions
pattern matching
finite automata
query language
semistructured data
xml schema
tree automata
matching algorithm
regular languages
deterministic finite automata
query evaluation
monadic second order logic
regular path queries
model checking
graph databases
data integration
special case