Norn: An SMT Solver for String Constraints

Authors:Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari
Type:software
Created:2015
Licence:required - no fee
Keywords:strings, string constraints, finite automata, alternating automata, security, verification
Description:
Norn solves string constraints over a rich string language that arise from verification and analysis of string manipulating programs.
Location:
http://user.it.uu.se/~jarst116/norn/
Research groups:
Departments:

Your IPv4 address: 100.24.209.47