Conference paper

ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed, RUMMER Philipp and STENMAN Jari. Norn: An SMT Solver for String Constraints. In: Computer Aided Verification. Cham: Springer International Publishing, 2015, pp. 462-469. ISBN 978-3-319-21689-8.
Publication language:english
Original title:Norn: An SMT Solver for String Constraints
Title (cs):Norn: SMT řešič pro řetzcová omezení
Pages:462-469
Proceedings:Computer Aided Verification
Conference:27th International Conference on Computer Aided Verification
Series:Lecture Notes in Computer Science Volume 9206
Place:Cham, CH
Year:2015
ISBN:978-3-319-21689-8
DOI:10.1007/978-3-319-21690-4_29
Publisher:Springer International Publishing
Keywords
string contraints
SMT
finite automata
Presburger
vulnerability
verification
string equations
Annotation
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.
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and F. Mohamed Atig and
	Luk{\'{a}}{\v{s}} Hol{\'{i}}k and Yu-Fang Chen and
	Ahmed Rezine and Philipp Rummer and Jari Stenman},
   title = {Norn: An SMT Solver for String Constraints},
   pages = {462--469},
   booktitle = {Computer Aided Verification},
   series = {Lecture Notes in Computer Science Volume 9206},
   year = {2015},
   location = {Cham, CH},
   publisher = {Springer International Publishing},
   ISBN = {978-3-319-21689-8},
   doi = {10.1007/978-3-319-21690-4_29},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10878}
}

Your IPv4 address: 18.206.241.26
Switch to https