Product detail

Trau: SMT solver for string constraints

HOLÍK, L. ABDULLA, P. ATIG, M. BUI PHI, D. CHEN, Y. REZINE, A. RUMMER, P.

Product type

software

Abstract

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

Create date

15. 4. 2019

Location

https://github.com/diepbp/Trau

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

https://github.com/diepbp/Trau