Norn: An SMT Solver for String Constraints

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

software

vyžadována - zdarma

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)

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 (GA19-24397S)
Bezpečné a spolehlivé počítačové systémy (FIT-S-17-4014)
IT4Innovations excellence in science (LQ1602)

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

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)