Materiały dla studentów
Wykłady:
- Wyklad 1: wprowadzenie
- Wyklad 2: LTL
- Wyklad 3: omega-automaty
- Wyklad 4: weryfikacja modelowa dla LTL
- Wyklad 5: CTL
- Wyklad 6: weryfikacja symboliczna I
- Wyklad 7: weryfikacja symboliczna II
- Wyklad 8: weryfikacja ograniczona
- Wyklad 9: abstrakcja
- Wyklad 10: JML
- Wyklad 11: interpretacja abstrakcyjna I
- Wyklad 12: interpretacja abstrakcyjna II
- Wyklad 13: automaty czasowe
Slajdy kolejnych wykładów będą sukcesywnie dodawane w trakcie semestru.
Laboratoria: