Publikace na Matematicko-fyzikální fakulta |
2009
Abstrakt
Výuka formálních metod je z mnoha důvodů nelehký úkol. Za prvé, jak znalosti v oblasti tak softwarové nástroje se rychle vyvíjejí.
Za druhé, k dispozici nejsou učební texty, které by pokrývaly určitá témata, zvlášť v oblasti analýzy kódu. V tomto článku se chceme podělit o zkušenosti s výukou dvou přednášek.
První je zaměřena na klasiku v oblasti modelování a verifikace softwarových a hardwarových systémů (LTS, LTL, ekvivalence, atd.), zatímco druhá zahrnuje témata týjkající se automatické analýzy kódu. Věříme, že jiní přednášející mohou z našich zkušeností vytěžit informace, které jim pomohou zlepšit kvalitu jejich výuky.