A decision procedure for string to code point conversion
From MaRDI portal
Publication:2096448
DOI10.1007/978-3-030-51074-9_13OpenAlexW3040290243MaRDI QIDQ2096448
Andres Nötzli, Clark Barrett, Andrew Reynolds, Cesare Tinelli
Publication date: 9 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_13
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Scaling up DPLL(T) string solvers using context-dependent simplification
- Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings
- String solving with word equations and transducers: towards a logic for analysing mutation XSS
- Qex: Symbolic SQL Query Explorer
- Chain-Free String Constraints
- Solving SAT and SAT Modulo Theories
- Path Feasibility Analysis for String-Manipulating Programs
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
- Splitting on Demand in SAT Modulo Theories
- Concatenation as a basis for arithmetic