Doktorand

Katedra distribuovaných a spolehlivých systémů
Matematicko-fyzikální fakulta
Univerzita Karlova

Malostranské náměstí 25
118 00, Praha 1

E-mail: kliber@d3s.mff.cuni.cz
Telefon: +420 951 554 121
Office: 309, 3rd floor

Oblasti zájmu

Výuka 2022/2023

Předešlá výuka (2018-2022)

Vzdělání

Publikace

P. Parízek, F. Kliber:
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
P. Parízek, F. Kliber:
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022