Detail publikace

Norn: An SMT Solver for String Constraints

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"
}