COSC 4P42
Formal Methods in Software Engineering

Instructor: Michael Winter, Office J323, email: mwinter@brocku.ca



Course Overview
Coq
Lectures
Course Outline
Course Procedure
  • Lecture: Tue, noon - 13:30 & Wed, 14:30 - 16:00, Winter 2022, WH305 TH307
  • Lab: Wed, 08:00 - 10:00, Winter 2022, MCJ310
Lecture Notes & Lab Material
Important Dates
Supplemental Material
Test Length Date/Time
1 90 mins Feb 02 (08:00-09:30) MCJ310
2 90 mins Mar 02 (08:00-09:30) MCJ310
3 90 mins Mar 23 (08:00-09:30) MCJ310
Exam 120 mins Apr 11 (10:00-noon) MCJ310


All Computer Science courses are subject to the rules and regulations of the University (as described in the calendar ), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.


COSC Home Page

© M. Winter, 2022