Faculty of Information Technology, BUT

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áš, Mgr., Ph.D. (DITS FIT BUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed (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
Back to top