Product detail

Norn: An SMT Solver for String Constraints

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

Product type

software

Abstract

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

Keywords

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

Create date

15. 4. 2015

Location

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

Possibilities of use

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

Licence fee

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

www

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