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áš, 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í
Projekty
Výzkumné skupiny
Pracoviště
Nahoru