COSC 4P42
Formal Methods in Software Engineering

Instructor: Michael Winter, Office J323, Office Hours: Mon & Wed, 11:00am - 01:00pm, email: mwinter@brocku.ca



Course Overview
Coq
Lectures
Course Outline
Course Procedure
  • Lecture: Wed & Fri, 16:00 - 17:30, Winter 2023, TH246
  • Lab: Tue, 16:00 - 18:00, Winter 2023, MCD 205
Lecture Notes & Lab Material
Important Dates
Supplemental Material
Test Length Date/Time
1 90 mins Jan 31 (16:00-17:30) MCD205
2 90 mins Feb 28 (16:00-17:30) MCD205
3 90 mins Mar 21 (16:00-17:30) MCD205
Exam 120 mins Apr 11 (10:00-noon) MCD205


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, 2023