Detail produktu

Norn: An SMT Solver for String Constraints

Vznik: 2015

Název česky
Norn: SMT řešič řetězcových omezení
Typ
software
Licence
vyžadována - zdarma
Autoři
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed (LIU)
Stenman Jari (Uppsala)
Klíčová slova
konečné automaty, řetězce, verifikace, alternující automaty, SMT
Popis
Norn: SMT řešič řetězcových omezení řeší řetězcová omezení, které vznikají při verifikaci programů manipulujících s řetězci.
Umístění
Nahoru