String Constraints for Verification
Abstract elided by the publisher.
Related papers
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Automata-Based Model Counting for String Constraints CAV 2015
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving APLAS 2020
- Norn: An SMT Solver for String Constraints CAV 2015
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints CAV 2015
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019