Z3str3
From MaRDI portal
Cited in
(39)- StringFuzz
- Reveal
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- The satisfiability of word equations: decidable and undecidable theories
- Dashed strings for string constraint solving
- On equations and first-order theory of one-relator monoids
- Reasoning about vectors using an SMT theory of sequences
- Stranger
- Supercharging plant configurations using Z3
- String theories involving regular membership predicates: from practice to theory and back
- Syntax-guided rewrite rule enumeration for SMT solvers
- HAMPI
- Qex
- BitBlaze
- Constraint programming for dynamic symbolic execution of JavaScript
- AsmL
- MTBDD
- JViews
- Towards more efficient methods for solving regular-expression heavy string constraints
- Z3-str
- S3
- Chain-free string constraints
- Norn
- WAPTEC
- StrSolve
- PASS
- Jalangi
- Rosette
- Refal
- Z3str2
- SymJS
- ExpoSE
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Saner
- AIspace
- CVC4SY
- CertiStr
- OPTGEN
- An SMT solver for regular expressions and linear arithmetic over string length
This page was built for software: Z3str3
