Computer-aided Verification 2017/18

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

Grading

To get a grade one has to complete

Valid HTML 4.01! Valid CSS!