Queen's Logo

CISC/CMPE422, CISC835: Formal Methods in Software Engineering (Fall 2019)

Readings (Lecture notes, slides, tool descriptions, examples, papers)

[Home] [Content] [Schedule] [Readings] [Assignments]

"Required" marks readings that are required for the course.

General

Introduction and logic review

Formal specifications and their analysis

Finite state machines and their analysis