FI:IV101 Seminář z verifikace - Informace o předmětu
IV101 Seminář z verifikace
Fakulta informatikyjaro 2004
- Rozsah
- 0/2. 2 kr. Ukončení: z.
- Vyučující
- prof. RNDr. Luboš Brim, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc. - Předpoklady
- SOUHLAS
- Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
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 - Mateřské obory/plány
- Aplikovaná informatika (program FI, B-AP)
- Aplikovaná informatika (program FI, N-AP)
- Informatika (program FI, B-IN)
- Informatika (program FI, N-IN)
- Cíle předmětu
- Cílem semináře je získání praktických dovedností a zkušeností s automatizovanou verifikací zejména paralelních a distribuovaných systémů.
- 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 vypracují verifikační projekt v rozsahu 15 hod. Seminář doplňuje předměty "Komunikace a paralelismus" a "Paralelní a distribuované výpočty".
- Literatura
- Peled, Doron. Software Reliability Methods. Springer, 2001.
- GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
- Metody hodnocení
- Studenti jsou hodnoceni na základě samostatné práce na projektech.
- Informace učitele
- http://www.fi.muni.cz/usr/brim/IV101
- Další komentáře
- Předmět je vyučován každý semestr.
Výuka probíhá každý týden.
- Statistika zápisu (jaro 2004, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2004/IV101