Sökning: id:"swepub:oai:DiVA.org:liu-162360" >
TRAU : SMT solver f...
TRAU : SMT solver for string constraints
-
- Abdulla, Parosh Aziz, Professor (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Atig, Mohamed Faouzi (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Chen, Yu-Fang (författare)
- Acad Sinica, Taiwan
-
visa fler...
-
- Bui, Phi Diep (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Holik, Lukas (författare)
- Brno Univ Technol, Czech Republic
-
- Rezine, Ahmed (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
-
- Rümmer, Philipp (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2018
- 2018
- Engelska.
-
Ingår i: PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD). - : IEEE. - 9780983567882 ; , s. 165-169
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.2...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- We introduce TRAU, an SMT solver for an expressive constraint language, including word equations, length constraints, context-free membership queries, and transducer constraints. The satisfiability problem for such a class of constraints is in general undecidable. The key idea behind TRAU is a technique called flattening, which searches for satisfying assignments that follow simple patterns. TRAU implements a Counter-Example Guided Abstraction Refinement (CEGAR) framework which contains both an under- and an over-approximation module. The approximations are refined in an automatic manner by information flow between the two modules. The technique implemented by TRAU can handle a rich class of string constraints and has better performance than state-of-the-art string solvers.
Ämnesord
- NATURVETENSKAP -- Matematik -- Beräkningsmatematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Computational Mathematics (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