IV113 - Úvod do validace a verifikace (podzim 2011)
Obsah kurzu
Kurs podává úvodní informace o vybraných metodách testování software a procesu
formální verifikace paralelních/distribuovaných systémů. Více informací o
předmětu:
IV113 - Katalog předmětů v IS
Přednášky
V podzimním semestru 2011 jsou přednášky každou středu od 16:00 do 17:40 v
posluchárně B204.
Přednášky se nekonají
- 28. září 2011 (státní svátek)
- 12.října 2011
- 7.prosince 2011
Ukončení a hodnocení
Předmět je zakončen písemným testem.
Celkové hodnocení je určeno počtem bodů, které student za závěrečný
písemný test. Pro úspěšné zakončení alespoň stupněm E je nutné získat minimálně
60% celkového počtu bodů. Pro zakončení stupněm A je navíc nutné vypracovat
domácí úlohy zadané na přednáškách.
Zadání domácích úloh (postupně doplňováno):
ulohy_2011.pdf
Studijní materiály