Detail aplikovaného výsledku

Norn: An SMT Solver for String Constraints

HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.

Originální název

Norn: An SMT Solver for String Constraints

Anglický název

Norn: An SMT Solver for String Constraints

Druh

Software

Abstrakt

Norn solves string constraints over a rich string language that arise from verification and analysis of string manipulating programs.

Abstrakt aglicky

Norn solves string constraints over a rich string language that arise from verification and analysis of string manipulating programs.

Klíčová slova

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

Klíčová slova anglicky

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

Umístění

http://user.it.uu.se/~jarst116/norn/

Licenční poplatek

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

www

http://user.it.uu.se/~jarst116/norn/