Produkty
-
2019
PICoSo: SMT řešič pro řezězcová omezení, software
Autoři: Holíková Lenka, Janků Petr -
2018
Lenochod - SMT solver pro řetězcová omezení, software
Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš