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
- 28 IV 2012:
- 3 III 2012: od najbliższych zajęc przenosimy się do sali 4070
- 22 II 2012: odwolujemy seminarium 29 II
- 21 II 2012: sala na najbliższe 2 zajęcia to 5440. Potem przenosimy się do sali 4070
- 15 II 2012: zmiana terminu zajeć w semestrze letnim 11/12: środy 16:15! sala zostanie ogłoszona
Referaty w semestrze letnim 11/12
| Temat referatu
|
Osoba referująca
|
Przybliżony termin
|
Materiały
|
| Temporal Linear Logic
|
J. Kopczewski
|
30 V 2012
|
|
Weryfikacja użycia pamięci
|
A. Morawski
|
23 V 2012
|
|
| Ograniczona weryfikacja programów w C na przykładzie narzędzia CBMC
|
Z. Chlebicki
|
16 V 2012
|
|
| O pracy magisterskiej
|
M. Oniszczuk
|
9 V 2012
|
PDF
|
| O pracy magisterskiej
|
J. Kopczewski
|
25 IV 2012
|
|
| Własności domknięcia automatów z więzami równościowymi
|
M. Maciejewska
|
18 IV 2012
|
PDF
|
| Pixy czyli analiza statyczna aplikacji WWW
|
A. Morawski
|
4 IV 2012
|
PDF
|
| SATABS czyli abstrakcja boolowska dla C
|
Z. Chlebicki
|
28 III 2012
|
|
| Needham-Schroeder w Coq'u
|
P. Iwaniuk
|
21 III 2012
|
PDF
|
| Prover dla logiki liniowej
|
J. Kopczewski
|
14 III 2012
|
|
| HOOPL czyli analiza przeplywu danych w Haskell'u
|
M. Oniszczuk
|
7 III 2012
|
ODP
|
| Delikatne wprowadzenie do JML'a
|
M. Maciejewska
|
22 II 2012
|
PDF
|
