Result Details
Norn: An SMT Solver for String Constraints
Created: 2015
Type
software
Language
English
Authors
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Abdulla Parosh
Atig Mohamed, FIT (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Stenman Jari, FIT (FIT)
Abdulla Parosh
Atig Mohamed, FIT (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Stenman Jari, FIT (FIT)
Description
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
URL
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
Projects
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, start: 2019-01-01, end: 2021-12-31, running
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Research groups
Departments