Computer-aided Verification 2018/19

The page of the course in USOSweb is here (in Polish) or here (in English).

Course slides

Thanks to Sławkek Lasota and Daria Walukiewicz-Chrząszcz for their slides.

Laboratory

Assignments (year 2018/19)

Assignments (year 2017/18)

Grading

To get a grade one has to complete

Valid HTML 4.01! Valid CSS!