Předměty
- Pokročilé nástroje pro vývoj a monitorování softwareNSWI126 | Matematicko-fyzikální fakulta
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Firemní seminářeNSWI133 | Matematicko-fyzikální fakulta
- Nástroje pro vývoj softwareNSWI154 | Matematicko-fyzikální fakulta
- Formální základy softwarového inženýrstvíNTIN043 | Matematicko-fyzikální fakulta
Publikace
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Matematicko-fyzikální fakulta
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Matematicko-fyzikální fakulta
- Abstract Pathfinder2012 | Matematicko-fyzikální fakulta
Loading network view...