Decision Procedure for a Theory of String Sequences
No abstract available.
Related papers
- Decision Procedures for Sequence Theories CAV 2023
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019
- Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation TACAS 2025
- Monadic second-order logic on finite sequences POPL 2017
- Polyregular Model Checking CAV 2025
- Regex Decision Procedures in Extended RE# CAV 2025
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- A decision procedure for subset constraints over regular languages PLDI 2009