swMATH30519MaRDI QIDQ42233FDOQ42233
Author name not available (Why is that?)
Official website: https://sites.google.com/site/z3strsolver/
Source code repository: https://github.com/z3prover/z3
Cited In (38)
- On equations and first-order theory of one-relator monoids
- Reasoning about vectors using an SMT theory of sequences
- Constraint programming for dynamic symbolic execution of JavaScript
- An SMT solver for regular expressions and linear arithmetic over string length
- Supercharging plant configurations using Z3
- StringFuzz
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- The satisfiability of word equations: decidable and undecidable theories
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- CVC4SY
- String theories involving regular membership predicates: from practice to theory and back
- OPTGEN
- Towards more efficient methods for solving regular-expression heavy string constraints
- Stranger
- HAMPI
- BitBlaze
- Qex
- AsmL
- MTBDD
- JViews
- PASS
- S3
- Z3-str
- Norn
- StrSolve
- WAPTEC
- Jalangi
- Rosette
- Refal
- ExpoSE
- SymJS
- Z3str2
- Saner
- AIspace
- Syntax-guided rewrite rule enumeration for SMT solvers
- CertiStr
- Chain-free string constraints
- Dashed strings for string constraint solving
This page was built for software: Z3str3
