Kritikus architektúrák laboratórium - Segédanyagok
| Cím | Egyedi szöveg |
|---|---|
| Követelmények | |
| 1. Szolgáltatásbiztonság elemzése | |
| 2. Programverifikáció I: korlátos modellellenőrzés |
Formális módszerek tárgy diasora korlátos modellellenőrzés témában. |
| 3. Domain-specifikus nyelvek automatikus elemzése |
Alloy eszköz letölthető az alábbi linkről:
|
| 4. Kiberfizikai rendszerek SAT alapú erőforrás allokációja | |
| 5. Programverifikáció II: predikátumabsztrakció |
Javasolt olvasmány a Formális módszerek tárgy diasora CEGAR témában Kiinduló projekt: https://github.com/ftsrg-ca/ca/tree/master/program-verification-2 |
| 6. Felhő infrastruktúra használati mintáinak felderítő elemzése | |
| 7. Elosztott adatbázisok I. (Redis) | |
| 8. Elosztott adatbázisok II. (Cassandra) |
| 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 |
