Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
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