Modellellenőrzés ízelítő
Semester:
2012. tavasz
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, 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:
