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 |
