IV101 - Seminář z verifikace (jaro 2015)

Náplň

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.

Seminář

V jarním semestru 2015 jsou semináře rozvrhovány na pondělí od 16:00 do 17:40 v posluchárně C416. Data prezentací studentů budou upřesněny na prvním semináři. V týdnech dedikovaných na přípravu prezentace se seminář koná pouze formou individuálních konzultací. Pro rozpis prezentací 2015 viz prezentace 2015.

Požadavky na úspěšné ukončení

Pro úspěšné ukončení predmětu je vyžadována příprava podkladů pro realizaci jednoho vedeného cvičení/semináře v oblasti formální verifikace reálného kódu nebo modelu reálného kódu s využitím jednoho z následujících verifikačních nástrojů. Podklady pro prezentaci typicky obsahují prováděcí slajdy/text, demostrační příklady a zadání a řešení procvičovacích a domácích úkolů.
Jiri Barnat's Homepage