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