Fakulta informačních technologií VUT v Brně

Detail produktu

Trau: SMT solver for string constraints

Vznik: 2019

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áš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed (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í
Nahoru