Předměty
- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Modely a verifikace chování systémůNSWI101 | Matematicko-fyzikální fakulta
- Programování mobilních zařízení +1NPRG056 | Matematicko-fyzikální fakulta
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
Publikace
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- On partial state matching2017 | Matematicko-fyzikální fakulta
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Performance Improvements of Behavior Protocol Checking2005 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování behavior protokolů +3Publikace bez příslušnosti k fakultě
Loading network view...