Ostatní výsledky
-
2022
Low-Level Bi-Abduction (Artifact), různé, 2022
Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.Low-Level Bi-Abduction (technical report), zpráva odborná, 2022
Autoři: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. -
2019
PredatorHP Attacks Interval-Sized Regions, zpráva odborná, 2019
Autoři: KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. -
2016
From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03, zpráva odborná, 2016
Autoři: DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T. -
2013
Byte-Precise Verification of Low-Level List Manipulation, zpráva odborná, 2013
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T. -
2011
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, zpráva odborná, 2011
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T. -
1992
Modelování a simulace, skriptum, 1992
Autoři: RÁBOVÁ, Z.; ZENDULKA, J.; ČEŠKA, M.; PERINGER, P.; JANOUŠEK, V.