2. Programverifikáció I: korlátos modellellenőrzés

Semester:

2017. tavasz

Kérjük ismételjétek át a Formális módszerek tárgy diasorát korlátos modellellenőrzés témában

Letöltés:

application/pdf icon

ca-bounded-model-checking.pdf