Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
HOLÍK, L. CHEN, Y. REZINE, A. RUMMER, P. STENMAN, J. ABDULLA, P. ATIG, M.
Originální název
Norn: An SMT Solver for String Constraints
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
string contraints SMT finite automata Presburger vulnerability verification string equations
Autoři
HOLÍK, L.; CHEN, Y.; REZINE, A.; RUMMER, P.; STENMAN, J.; ABDULLA, P.; ATIG, M.
Rok RIV
2015
Vydáno
27. 4. 2015
Nakladatel
Springer International Publishing
Místo
Cham
ISBN
978-3-319-21689-8
Kniha
Computer Aided Verification
Edice
Lecture Notes in Computer Science Volume 9206
Strany od
462
Strany do
469
Strany počet
7
BibTex
@inproceedings{BUT120376, author="Lukáš {Holík} and Yu-Fang {Chen} and Ahmed {Rezine} and Philipp {Rummer} and Jari {Stenman} and Parosh {Abdulla} and Mohamed {Atig}", title="Norn: An SMT Solver for String Constraints", booktitle="Computer Aided Verification", year="2015", series="Lecture Notes in Computer Science Volume 9206", pages="462--469", publisher="Springer International Publishing", address="Cham", doi="10.1007/978-3-319-21690-4\{_}29", isbn="978-3-319-21689-8" }