Detail publikačního výsledku

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

Anglický název

Norn: An SMT Solver for String Constraints

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

2016

Vydáno

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