Předměty
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Formální základy softwarového inženýrstvíNTIN043 | Matematicko-fyzikální fakulta
- Pokročilé nástroje pro vývoj a monitorování softwareNSWI126 | Matematicko-fyzikální fakulta
- Firemní seminářeNSWI133 | Matematicko-fyzikální fakulta
- Nástroje pro vývoj softwareNSWI154 | Matematicko-fyzikální fakulta
Publikace
- 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
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | 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
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
Loading network view...