Result Details
Trau: SMT solver for string constraints
Created: 2019
Type
software
Language
English
Authors
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Abdulla Parosh
Atig Mohamed, FIT (FIT)
Bui Phi Diep, FIT (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
Abdulla Parosh
Atig Mohamed, FIT (FIT)
Bui Phi Diep, FIT (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
Description
Trau solves string constraints over a rich string language, including transducer constraints, that arise from verification and analysis of string manipulating programs.
Keywords
strings, string constraints, finite automata, alternating automata, transducers, security, verification
URL
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Projects
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, start: 2019-01-01, end: 2021-12-31, running
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Research groups
Departments