A decision procedure for string logic with quadratic equations, regular expressions and length constraints
From MaRDI portal
Publication:6166155
Recommendations
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- A decision procedure for regular membership and length constraints over unbounded strings
- scientific article; zbMATH DE number 1304322
- Chain-free string constraints
Cited in
(12)- Compositional satisfiability solving in separation logic
- An SMT solver for regular expressions and linear arithmetic over string length
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- A decision procedure for regular membership and length constraints over unbounded strings
- A closer look at the expressive power of logics based on word equations
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Word equations in synergy with regular constraints
- String solving with word equations and transducers: towards a logic for analysing mutation XSS
- Program specialization as a tool for solving word equations
- An efficient cyclic entailment procedure in a fragment of separation logic
- A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
- Chain-free string constraints
This page was built for publication: A decision procedure for string logic with quadratic equations, regular expressions and length constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166155)
