A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints

Quang Loc Le

In this paper, we consider the satisfiability problem for string logic with equations, regular membership and Presburger constraints over length functions. The difficulty comes fro…