Z3str2

swMATH30520MaRDI QIDQ42234FDOQ42234

Author name not available (Why is that?)

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
• StringFuzz
• The satisfiability of word equations: decidable and undecidable theories
• String theories involving regular membership predicates: from practice to theory and back
• Towards more efficient methods for solving regular-expression heavy string constraints
• Stranger
• HAMPI
• JST
• S3
• Norn
• TAMARIN
• Jalangi
• SymJS
• Z3str3
• ACUOS2
• Saner
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: Z3str2