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

Autoři:Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari
Typ:software
Vznik:2015
Licence:vyžadována - zdarma
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í:
http://user.it.uu.se/~jarst116/norn/
Výzkumné skupiny:
Pracoviště:

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https