Detail produktu

Trau: SMT solver for string constraints

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

Typ produktu

software

Abstrakt

Trau solves string constraints over a rich string language, including transducer constraints, that arise from verification and analysis of string manipulating programs.

Klíčová slova

strings, string constraints, finite automata, alternating automata, transducers, security, verification

Datum vzniku

15. 4. 2019

Umístění

https://github.com/diepbp/Trau

Možnosti využití

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

Licenční poplatek

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

www