Norn: An SMT Solver for String Constraints
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU117259" target="_blank" >RIV/00216305:26230/15:PU117259 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-21690-4_29" target="_blank" >http://dx.doi.org/10.1007/978-3-319-21690-4_29</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-21690-4_29" target="_blank" >10.1007/978-3-319-21690-4_29</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Norn: An SMT Solver for String Constraints
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Norn: An SMT Solver for String Constraints
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GP13-37876P" target="_blank" >GP13-37876P: Verifikace nekonečně stavových systémů založená na konečných automatech</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Computer Aided Verification
ISBN
978-3-319-21689-8
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
462-469
Název nakladatele
Springer International Publishing
Místo vydání
Cham
Místo konání akce
San Francisco, California
Datum konání akce
18. 7. 2015
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000364182900029