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

  • Page updated Dec 09, 2002