Kritikus architektúrák laboratórium - Segédanyagok
Cím | Egyedi szöveg |
---|---|
Követelmények | |
1. Programverifikáció I: korlátos modellellenőrzés |
Formális módszerek tárgy diasora korlátos modellellenőrzés témában. |
2. Programverifikáció II: predikátumabsztrakció |
Formális módszerek tárgy diasora CEGAR témában. |
3. Domain-specifikus nyelvek automatikus elemzése | |
4. Kiberfizikai rendszerek SAT alapú erőforrás allokációja | |
5. Szolgáltatásbiztonság analízise | |
6. Infrastruktúra adatelemzés | |
7. Elosztott adatbázis-kezelők I | |
8. Elosztott adatbázis-kezelők II |
Cím | Egyedi szöveg |
---|---|
Követelmények | |
1. Kiberfizikai rendszerek SAT alapú erőforrás allokációja | |
2. Domain-specifikus nyelvek automatikus elemzése | |
3. Megbízhatósági modellezés |
A Möbius futtatásához Window alatt szükség lehet az OpenSSL dll-ekre, 64 bites operációs rendszer alatt a 64 bites dll-eket a System32, a 32 bites dll-eket a SYSWOW64 mappába kell tenni. |
4. Programverifikáció I: korlátos modellellenőrzés |
Formális módszerek tárgy diasora korlátos modellellenőrzés témában. |
5. Programverifikáció II: predikátumabsztrakció |
Formális módszerek tárgy diasora CEGAR témában. |
6. Elosztott adatbázis-kezelők I | |
7. Elosztott adatbázis-kezelők II |
Ezen a laboron nincsenek különösebb elméleti nehézségek, ezért nem lesz beugró. Haladjatok az önlabbal/diplomatervvel! |
8. Infrastruktúra adatelemzés |
Cím | Egyedi szöveg |
---|---|
1. Bevezető laboratórium | |
2. Programverifikáció I: korlátos modellellenőrzés |
Kérjük ismételjétek át a Formális módszerek tárgy diasorát korlátos modellellenőrzés témában |
3. Programverifikáció II: predikátumabsztrakció |
Formális módszerek tárgy diasora CEGAR témában |
4. NoSQL alapú elosztott adatbázisok vizsgálata | |
5. Domain-specifikus nyelvek automatikus elemzése | |
6. Kiberfizikai rendszerek SAT alapú erőforrás allokációja | |
7. Megbízhatósági modellezés |