Seminarium poświęcone szeroko rozumianej niezawodności systemów komputerowych i metodom jej zapewniania, od praktycznych projektów weryfikacyjnych i narzędzi do modeli matematycznych i zagadnień teoretycznych z nimi związanych.


Ogłoszenia

  • 19 XI 2012: seminarium 21 XI odwołane
  • 30 X 2012: prezentacja na temat seminarium: PDF
  • 10 X 2012: dzisiejsze seminarium odwołane


Referaty w semestrze letnim 12/13


Temat referatu Osoba referująca Przybliżony termin Materiały
Detecting Diverse Variants of Design Pattern P. Węgrzynowicz 5 VI 2013
o pracy magisterskiej Z. Chlebicki 29 V 2013
o pracy magisterskiej M. Maciejewska 22 V 2013
o pracy magisterskiej P. Iwaniuk 8 V 2013
Intuicjonistyczny model protokołu Needhama-Shroedera P. Iwaniuk 20 III 2013
Weryfikacja ograniczona programów w Javie Z. Chlebicki 13 III 2013
Twierdzenie Parikha w zbiorach z atomami M. Maciejewska 6 III 2013