Seminaari: Rinnakkaisjärjestelmien mallinnus ja verifiointi
Matti Luukkainen, Timo Karvi
Tiistaisin 14-16, salissa C454, ensimmäinen kokoontuminen 17.9.
Aikataulu
17.9. Aiheiden valinta ja johdantoesitelmä
1.10. Tuomo Malinen:
Automaattiteoreettinen verifiointi ja reiluus
8.10. Taneli Rantala:
Ajoitettujen järjestelmien mallintaminen ja verifiointi
15.10. Antti Perälä:
Symbolinen verifiointi BDD:illä
22.10. Jarkko Lehto:
Tietorakenteet ajoitettujen järjestelmien verifiointiin
29.10. Heikki Hiltunen:
Symbolinen verifiointi SAT-menetelmällä
5.11. Marja Huovinen:
Deduktiivinen verifiointi
12.11. Jussi Marjamäki:
Hybridijärjestelmien mallintaminen ja verifiointi
19.11. Eero Kaipiainen:
Ekvivalenssirelaatioiden vertailua
26.11. Saara Nygren:
Itsepäisten joukkojen reduktiomenetelmä
3.12. Kaisa Krannilan esitys
peruttu
tiistaina 3.12. siis ei seminaaria!
10.12. Sari Leppänen:
Formaalien menetelmien teolliset sovellukset