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
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
- Programování mobilních zařízení +1NPRG056 | Matematicko-fyzikální fakulta
Publikace
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Summarization of branching loops2022 | Matematicko-fyzikální fakulta
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | 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
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
Loading network view...