Norn: An SMT Solver for String Constraints
Abstract elided by the publisher.
Related papers
- StringFuzz: A Fuzzer for String Solvers CAV 2018
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Inter-theory dependency analysis for SMT string solvers OOPSLA 2020
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Even Faster Conflicts and Lazier Reductions for String Solvers CAV 2022
- CertiStr: a certified string solver CPP 2022