Materiały dla studentów

Slajdy wykładów:

Wyklad 1: wprowadzenie
Wyklad 2: LTL
Wyklad 3: omega-automaty
Wyklad 4: weryfikacja modelowa dla LTL
Wyklad 5: redukcja częściowo-porządkowa
Wyklad 6: CTL
Wyklad 7: weryfikacja symboliczna I
Wyklad 8: weryfikacja symboliczna II
Wyklad 9: weryfikacja ograniczona
Wyklad 10: abstrakcja
Wyklad 11: automaty czasowe
Wyklad 12: weryfikacja probabilistyczna

Materiały nt laboratorium są tutaj