ℹ️
🇬🇧
Search
Search for people relevant for "Verification"
Verification
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Filip Kliber
Academic staff at Faculty of Mathematics and Physics
4 publications
Publications
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Faculty of Mathematics and Physics
publication
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads
Publication without faculty affiliation
publication
Wealth in virtual societies is not virtual
2023 |
Faculty of Mathematics and Physics, Protestant Theological Faculty, Faculty of Humanities
publication
Fuzzing of Multithreaded Programs in .NET - Challenges and Solutions
2022 |
Faculty of Mathematics and Physics
Loading network view...
