Prerequisite: COMP 272.
As embedded and networked systems are becoming ever more ubiquitous, we depend increasingly on the correctness of the software that controls such systems. This course studies the formal specification, verification, and synthesis of software.
Outcomes: An understanding of the role of formal methods in the construction of software systems; proficiency in representative methods and tools, such as UML and ESC.
As embedded and networked systems are becoming ever more ubiquitous, we depend increasingly on the correctness of the software that controls such systems. This course studies the formal specification, verification, and synthesis of software.
Outcomes: An understanding of the role of formal methods in the construction of software systems; proficiency in representative methods and tools, such as UML and ESC.