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 (FIT)
Bui Phi Diep (FIT)
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

https://github.com/diepbp/Trau

Projects
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, running
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top