ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "State Space"
State Space
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Filip Kliber
Akademický pracovník na Matematicko-fyzikální fakulta
4 publikace
Publikace
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Matematicko-fyzikální fakulta
publication
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads
Publikace bez příslušnosti k fakultě
publication
Wealth in virtual societies is not virtual
2023 |
Matematicko-fyzikální fakulta, Evangelická teologická fakulta, Fakulta humanitních studií
publication
Fuzzing of Multithreaded Programs in .NET - Challenges and Solutions
2022 |
Matematicko-fyzikální fakulta
Loading network view...