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