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:

grupa poniedziałkowa
grupa piątkowa