| Projektnummer: 103p18 Bezeichnung: | Projektnummer/n der Vorprojekte: NP |
| Projekttitel: | Advancing Automated Verification of Low-Level Programs through Separation Logic and Bi-Abduction |
|
| Art des Projektes: | Wissenschaftskooperation |
| Beurteilung : | bewilligt |
| Bemerkung: | |
_____________________________________________________________________________________________________________________
 | Österreich | Tschechien |
| | |
| Antragsteller: | Zuleger Florian, Assoc. Prof, | Rogalewicz Adam, doc. Ph.D. |
| Bildungsinstitution: | University of Technology Vienna | Vysoké učení technické v Brně |
| Fakultät: | Faculty of Informatics | Fakulta informačních technologií |
| Institut/Lehrstuhl: | | |
| E-Mail: | florian.zuleger@tuwien.ac.at | rogalew@fit.vut.cz |
| Tel.: | +43 1 58801 18449 | +420 541141188 |
| | |
_____________________________________________________________________________________________________________________
| Dauer des Projektes von bis: |
01/01/2026 - 12/31/2026 | Verlängerung bis: |
|
_____________________________________________________________________________________________________________________
_____________________________________________________________________________________________________________________
| Mitarbeiter | Studierende |
| Zahl der Teilnehmer aus Österreich: | | |
| Zahl der Teilnehmer aus Tschechien: | | |
| Gesamtbeendigung des Projektes: | |
|