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 Fall Spring

Note that not all courses are offered in every term. If a course is not offered, the schedule page will alert you that "No classes were found that meet your search criteria."