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)
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
Research groups
Departments
Back to top