Modellellenőrzés ízelítő
Semester:
2012. ősz
Az előadás tartalma:
- rövid, BSc szintű bevezető előadás a modellellenőrzés motivációjáról és alapfogalmairól
- az elvek demonstrációja az UPPAAL eszköz segítségével, egyszerű vasútirányítási példán
- pár szó a programverifikációról
Melléklet:
- a bevezető előadás fóliái
- UPPAAL példa
Download:
