FI:IV101 Seminář z verifikace - Informace o předmětu
IV101 Seminář z verifikace
Fakulta informatikyjaro 2015
- Rozsah
- 0/2. 2 kr. Ukončení: z.
- Vyučující
- prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Po 16:00–17:50 C416
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 12 stud.
Momentální stav registrace a zápisu: zapsáno: 0/12, pouze zareg.: 0/12, pouze zareg. s předností (mateřské obory): 0/12 - Mateřské obory/plány
- předmět má 35 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem semináře je získání praktických dovedností a zkušeností s automatizovanou verifikací počítačových systémů. V rámci semináře se studenti seznámí s několika verifikačními nástroji, vhodnými formalizmy pro vyjádření vlastností systému a připraví prezentaci vybraného verifikační nástroje a prezentují jej ostatním studentům v prezentaci o rozsahu cca dvou vyučovacích hodin.
- Osnova
- V rámci semináře se studenti seznámí s několika nejpoužívanějšími verifikačními nástroji, vhodnými formalizmy pro vyjádření vlastností systémů a připraví prezentaci vybraného verifikačního nástroje.
- Literatura
- Peled, Doron. Software Reliability Methods. Springer, 2001.
- HOLZMANN, Gerald J. The spin model checker :primer and reference manual. Boston: Addison-Wesley, 2004, xii, 596 s. ISBN 0-321-22862-6. info
- GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
- Výukové metody
- teoretická příprava, příprava prezentace, prezentace
- Metody hodnocení
- Studenti jsou hodnoceni na základě samostatné práce na prezentaci.
- Informace učitele
- http://www.fi.muni.cz/~xbarnat/IV101/
- Další komentáře
- Studijní materiály
Předmět je vyučován jednou za dva roky.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2015/IV101