CSC 564


Units: 1.5

Introduction to the foundations of concurrency theory and the issues of specification and verification of concurrent systems. Topics include models of concurrency such as Petri nets, labelled transition systems, and traces; specification of concurrent systems/programs in formalisms including process algebras, statecharts, Petri nets and temporal logics; verification techniques such as bisimulation and model checking; verification using existing research tools. Case studies will be taken from coordination problems, controller design, communication and security protocols, hardware and user interface design.

Graduate course in the Computer Science program offered by the Faculty of Graduate Studies.

Summer 2019 Fall 2019 Spring 2020

Summer timetable available: February 15. Fall and Spring timetables available: May 15.

Before these dates the class schedule will show "No classes were found that meet your search criteria". If this message is shown after these dates, the course is not scheduled for the selected term.