COMP 335: Formal Methods in Software Engineering

Credit Hours

3

Prerequisites

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