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