Publikace
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- On partial state matching2017 | Matematicko-fyzikální fakulta
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Matematicko-fyzikální fakulta
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Matematicko-fyzikální fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- Behavior Java CheckerPublikace bez příslušnosti k fakultě
Loading network view...