IV113 - Úvod do validace a verifikace (podzim 2012)
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 2012 jsou přednášky každé úterý od 10:00 do 11:50 v
posluchárně B410.
Přednášky se nekonají
- 18.září 2012
- 16.října 2012
- 18.prosince 2012
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):
Zatím žádné.
Studijní materiály