COMP 335: Formal Methods in Software Engineering

Course Information

About

This course studies the formal specification, verification, and synthesis of software.

Description

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 the representative methods and tools, such as UML and ESC.

Syllabi

See the Current Course Syllabi.