Z3str2

MaRDI QIDQ42234swMATHFDO

Official website https://sites.google.com/site/z3strsolver/

Described by source

• Z3str2: an efficient solver for strings, regular expressions, and length constraints

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