Cited in
(17)- An SMT solver for regular expressions and linear arithmetic over string length
- The satisfiability of word equations: decidable and undecidable theories
- String theories involving regular membership predicates: from practice to theory and back
- Stranger
- HAMPI
- JST
- S3
- Norn
- TAMARIN
- Jalangi
- SymJS
- Z3str3
- ACUOS2
- Saner
- Towards more efficient methods for solving regular-expression heavy string constraints
- StringFuzz
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
This page was built for software: Z3str2
