IV101 - Seminář z verifikace

Aktuální oznámení

Seznam projektů řešených v tomto semestru zde.

Náplň

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ů.

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ému a vypracují verifikační projekt v rozsahu 15 hod.

Seminář

V jarním semestru 2010 jsou semináře rozvrhovány na pondělí od 12:00 do 13:50 v posluchárně B411. V týdnech dedikovaných pro tvorbu vlastních modelů se seminář koná formou konzultací.

Ukončení

Předmět je zakončen odevzdáním vypracovaných verifikačních projektů.

Studijní materiály

Odkazy na různé nástroje je možné nalézt zde: YAHODA - Verification Tools Database

Slajdy: