Produkty
-
2019
PICoSo: SMT řešič pro řezězcová omezení, software, 2019
Autoři: HOLÍKOVÁ, L.; JANKŮ, P. -
2018
Lenochod - SMT solver pro řetězcová omezení, software, 2018
Autoři: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. -
2017
Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.