COSC 4P42
Formal Methods in Software Engineering

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



Course Overview
Coq
Lectures
Course Outline
Course Procedure
  • Lecture: Tue & Thu, 12:30pm - 2:00pm, Fall 2017, Room: TH245
  • Lab: Fri, 11:00am - 1:00pm, Fall 2017, Room: MCD205
Lecture Notes & Lab Material
Important Dates
Supplemental Material
Test Length Date/Time
1 60 mins Sep 29 (11:00am-noon) D205
2 60 mins Oct 27 (11:00am-noon) D205
3 60 mins Nov 17 (11:00am-noon) D205
Exam 90 mins Dec 06 (09:15am-10:45am) D205

All tests and the exam will be held in D205.


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