Applied result detail

Norn: An SMT Solver for String Constraints

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

Original Title

Norn: An SMT Solver for String Constraints

English Title

Norn: An SMT Solver for String Constraints

Type

Software

Abstract

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

Abstract in English

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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