Norn: An SMT Solver for String Constraints

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

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Atig Mohamed (FIT)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Stenman Jari (FIT)

konečné automaty, řetězce, verifikace, alternující automaty, SMT

Norn: SMT řešič řetězcových omezení řeší řetězcová omezení, které vznikají při verifikaci programů manipulujících s řetězci.

http://user.it.uu.se/~jarst116/norn/

Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, řešení
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)