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áš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed, Assoc. Prof. (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í
Projekty
Výzkumné skupiny
Pracoviště
Nahoru