Norn: An SMT solver for string constraints
2015 (English)In: Computer Aided Verification: Part I, Springer, 2015, 462-469 p.Conference paper (Refereed)
We present version 1.0 of the Norn SMT solver for string constraints. Norn is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption of a set of acyclicity conditions on word equations, without any restrictions on the use of regular membership.
Place, publisher, year, edition, pages
Springer, 2015. 462-469 p.
, Lecture Notes in Computer Science, 9206
IdentifiersURN: urn:nbn:se:uu:diva-272325DOI: 10.1007/978-3-319-21690-4_29ISI: 000364182900029ISBN: 978-3-319-21689-8OAI: oai:DiVA.org:uu-272325DiVA: diva2:893656
CAV 2015, July 18–24, San Francisco, CA