Product Details
Trau: SMT solver for string constraints
Created: 2019
Czech title
Trau: SMT řešič řetězcových omezení
Type
software
License
required - free
Authors
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed, Assoc. Prof. (LIU)
Rummer Philipp (Uppsala)
Atig Mohamed F. (Uppsala)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed, Assoc. Prof. (LIU)
Rummer Philipp (Uppsala)
Keywords
strings, string constraints, finite automata, alternating automata, transducers, security, verification
Description
Trau solves string constraints over a rich string language, including transducer constraints, 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)