Sökning: onr:"swepub:oai:DiVA.org:liu-123090" >
Norn: An SMT Solver...
Norn: An SMT Solver for String Constraints
-
- Abdulla, Parosh Aziz (författare)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
- Atig, Mohamed Faouzi (författare)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
- Chen, Yu-Fang (författare)
- Academic Sinica, Taiwan
-
visa fler...
-
- Holik, Lukas (författare)
- Brno University of Technology, Czech Republic
-
- Rezine, Ahmed (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
-
- Rümmer, Philipp (författare)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
- Stenman, Jari (författare)
- Uppsala universitet,Datorteknik,Uppsala University, Sweden
-
visa färre...
-
(creator_code:org_t)
- 2015-07-16
- 2015
- Engelska.
-
Ingår i: COMPUTER AIDED VERIFICATION, PT I. - Cham : SPRINGER-VERLAG BERLIN. - 9783319216904 - 9783319216898 ; , s. 462-469
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas