Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

https://verifit.webnode.cz/

Výsledky s dopadem do praxe

2005

Automata-based Verification of Programs with Tree Updates, výzkumná zpráva, 2005
Autoři: HABERMEHL, P., RADU, I., VOJNAR, T.