Product Details

Norn: An SMT Solver for String Constraints

Created: 2015

Czech title
Norn: SMT řešič řetězcových omezení
Type
software
License
required - free
Authors
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed, Assoc. Prof. (LIU)
Stenman Jari (Uppsala)
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
Projects
Research groups
Departments
Back to top