Browsing Engineering (Faculty of) by Subject "string solvers"
Now showing items 1-1 of 1
-
Z3str4: A Solver for Theories over Strings
(University of Waterloo, 2021-06-15)Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason about string operations and predicates that are present in many ...