Trau: SMT solver for string constraints

Authors:Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp
Type:software
Created:2019
Licence:required - no fee
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:
https://github.com/diepbp/Trau
Research groups:
Departments:

Your IPv4 address: 54.211.135.32