Reliable Software Design.

Catalog description

With the technological advancements, critical systems (e.g., in the aerospace industry, healthcare industry, etc.) are being deployed and used in a widespread fashion. This trend, along with the increasing complexity of such systems, necessitate their software components to provide guaranteed reliability and assurance. This course introduces a mathematical foundation for rigorous analysis of computer programs by exploring the logical underpinnings and the tools that are used to reason about program correctness in order to develop high quality and robust software. In this course, students engage in developing programs that formally define system constructs, specifying the properties of interest, and proving the satisfaction of those properties in the system. Prerequisites: Programming Languages Core Skill and Computing Theory Core Skill and graduate or blended students in the School of Engineering and Computer Science or instructor approval.