31
9.4.2003
Teemu Kerola, Copyright 2003
Spesifioinnin ja verifioinnin perusteet,
2 ov
•Lähtötiedot: hajautuksen ja samanaikaisuuden problematiikka
•Sopiva: 3. vuoden opiskelijalle
•Mallinnetaan prosesseja siirtymäsysteemeillä
–askel: konekäsky? metodi? tapahtuma? ohjelma?
•Automaattisen verifioinnin periaatteet
•Yksinkertaisien protokollien verifiointi
•Jatkoa syventävällä tasolla
–Ohjelmien semantiikka, 3 ov
–Automaattinen verifiointi, 3 ov