Z3str2: an efficient solver for strings, regular expressions, and length constraints.
Yunhui ZhengVijay GaneshSanu SubramanianOmer TrippMurphy BerzishJulian DolbyXiangyu ZhangPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- regular expressions
- finite automata
- regular languages
- regular path queries
- tree automata
- string matching
- pattern matching
- query language
- finite alphabet
- semistructured data
- deterministic finite automata
- xml schema
- matching algorithm
- finite state machines
- query evaluation
- relational databases
- bit parallel
- conceptual model
- domain specific
- object oriented
- data model