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)
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
Automata for Decision Procedures and Verification (GA19-24397S)
IT4Innovations excellence in science (LQ1602)
Secure and Reliable Computer Systems (FIT-S-17-4014)
IT4Innovations excellence in science (LQ1602)
Secure and Reliable Computer Systems (FIT-S-17-4014)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)