| Číslo projektu: 103p18 Označení: | Čísla předchozích projektů: NP |
| Název projektu: | Advancing Automated Verification of Low-Level Programs through Separation Logic and Bi-Abduction |
|
| Druh projektu: | Vědecká spolupráce |
| Posouzení : | schváleno |
| Poznámka: | |
_____________________________________________________________________________________________________________________
 | Rakousko | Česká republika |
| | |
| Předkladatel: | Zuleger Florian, Assoc. Prof, | Rogalewicz Adam, doc. Ph.D. |
| Vzdělávací instituce: | University of Technology Vienna | Vysoké učení technické v Brně |
| Fakulta: | Faculty of Informatics | Fakulta informačních technologií |
| Ústav/katedra: | | |
| E-mail: | florian.zuleger@tuwien.ac.at | rogalew@fit.vut.cz |
| Tel.: | +43 1 58801 18449 | +420 541141188 |
| | |
_____________________________________________________________________________________________________________________
| Trvání projektu od do: |
01/01/2026 - 12/31/2026 | Prodloužení do: |
|
_____________________________________________________________________________________________________________________
_____________________________________________________________________________________________________________________
| Zaměstnanci | Studenti |
| Počet účastníků z Rakouska: | | |
| Počet účastníků z ČR: | | |
| Celkové ukončení projektu: | |
|