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

Autoři:Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp
Typ:software
Vznik:2019
Licence:vyžadována - zdarma
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
Výzkumné skupiny:
Pracoviště:

Vaše IPv4 adresa: 54.242.25.198