Kritikus architektúrák laboratórium - Segédanyagok

Félév: 2017. tavasz
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
8. Infrastruktúra adatelemzés
9. Redis clustering

Redis clustering tutorial

A laboron nem lesz beugró. Haladjatok az önlabbal/diplomatervvel!

Félév: 2016. tavasz
Cím Egyedi szöveg
1. Bevezető laboratórium
2. Domain-specifikus nyelvek automatikus elemzése
3. Kiberfizikai rendszerek SAT alapú erőforrás allokációja

Alloy mirror

4. Infrastruktúra elemzés
5. Megbízhatósági modellezés
6. Feladatátvételi fürtök
7. NoSQL alapú elosztott adatbázisok vizsgálata
8. Programverifikáció

Formális módszerek tárgy diasora korlátos modellellenőrzés témában

9. Automatikus tesztfuttatás
Tartalom átvétel