COSC 4P42 Formal Methods in Software Engineering

	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

The Formal Semantics of Programming Languages: An Introduction, G. Winskel, The MIT Press (1993), ISBN 0-262-23169-7 (hc), 0-262-73103-7 (pb)
The Design of Well-Structured and Correct Programs, S. Alagic & M.A. Arbib, Springer-Verlag (1978), ISBN 0-387-90299-6
Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, H. Ehrig & B. Mahr, Springer-Verlag (1985), ISBN 0-387-13718-1
Logic in Computer Science, 2nd edition, M. Huth & M. Ryan, Cambridge University Press (2004), ISBN 0-521-54310-X

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