Detail produktu

Norn: An SMT Solver for String Constraints

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

Typ produktu

software

Abstrakt

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

Datum vzniku

15. 4. 2015

Umístění

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

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