Trau: SMT solver for string constraints

Název česky

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

Typ

software

Licence

vyžadována - zdarma

Autoři

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

Klíčová slova

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

Popis

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.

Umístění

https://github.com/diepbp/Trau

Projekty

Automaty v rozhodovacích procedurách a verifikaci (GA19-24397S)
Bezpečné a spolehlivé počítačové systémy (FIT-S-17-4014)
IT4Innovations excellence in science (LQ1602)

Výzkumné skupiny

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

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)