Trau: SMT solver for string constraints

Trau: SMT řešič řetězcových omezení

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Atig Mohamed (FIT)
Bui Phi Diep (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp

konečné automaty, řetězce, verifikace, alternující automaty, SMT, převodníky

Trau: SMT řešič řetězcových omezení řeší řetězcová omezení, včetně převodníkových, které vznikají při verifikaci programů manipulujících s řetězci.

https://github.com/diepbp/Trau

Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, řešení
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)