Detail aplikovaného výsledku

Trau: SMT solver for string constraints

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

Originální název

Trau: SMT solver for string constraints

Anglický název

Trau: SMT solver for string constraints

Druh

Software

Abstrakt

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

Abstrakt aglicky

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

Klíčová slova anglicky

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

Umístění

https://github.com/diepbp/Trau

Licenční poplatek

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

www

https://github.com/diepbp/Trau