głowna
slajdy
lab
narzedzia
literatura
inne
Praktyczne metody weryfikacji
@
Sławomir Lasota (wykład)
@
Daria Walukiewicz-Chrząszcz (lab)
Wykład
piątki, godz. 12:15 - 13:45, s. 4420
Lab
wtorki, 10:15 - 11:45, s. 2043
USOS
opis wykładu w USOSie
Inne fajne narzędzia
Model-Checking Kit
GOAL
PRISM
BLAST
Interesujące strony
Baza danych
YAHODA
projekt VLTS
,
obrazki
Metody formalne
w
WWW Virtual Library
Systemy współbieżne
tamże
BRICS Tools Home Page
Concurrency tools at Oxford
Petri Net World
Publikacje o weryfikacji modelowej