Semanarium magisterskie
Niezawodność systemów współbieżnych i obiektowych


Prowadzący: dr hab. Sławomir Lasota, dr Aleksy Schubert

Termin: środy 12:15, sala 5050

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

Referaty:

Temat referatu
 Osoba referująca
 Przybliżony termin
AVISPA - narzędzie do weryfikacji protokołów Konrad Błachnio
 15 października 2008
Metoda symbolicznej reprezentacji modeli - OBDD
 Grzegorz Maj
 22 października 2008
Podstawy JML-a
 Bartłomiej Bonarski
 29 października 2008
O rozstrzygalności problemu stopu ;)
 Sławomir Lasota
 5 listopada 2008
SAT-solvery
 Aleksander Lewandowski
 12 listopada 2008
O narzędziu CBMC
 Aleksander Lewandowski
 19 listopada 2008
Analiza kształtu z dobrym uporządkowaniem na listach
 Magda Zakrzewska
 26 listopada 2008
Weryfikacja pamięci FLASH - case study
 Bartosz Zaborowski
 3 grudnia 2008
Automaty czasowe i Uppaal
 Aleksander Zabłocki
 10 grudnia 2008
Automaty czasowe a maszyny z błędami
 Paweł Kaczan
 17 grudnia 2008


cdn...

{sl,alx} małpa mimuw