Product Details
Trau: SMT solver for string constraints
Created: 2019
Czech title
Trau: SMT řešič řetězcových omezení
Type
software
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
Authors
Holík Lukáš, doc. Mgr., Ph.D.
(DITS)
Abdulla Parosh
Atig Mohamed
Bui Phi Diep
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
Abdulla Parosh
Atig Mohamed
Bui Phi Diep
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
Keywords
strings, string constraints, finite automata, alternating automata, transducers,
security, verification
Description
Trau solves string constraints over a rich string language, including transducer
constraints, that arise from verification and analysis of string manipulating
programs.
Location
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