Product Details

Norn: An SMT Solver for String Constraints

Created: 2015

Czech title
Norn: SMT řešič řetězcových omezení
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Abdulla Parosh
Atig Mohamed (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Stenman Jari (FIT)
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/

Projects
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, running
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top