Browse Hierarchy SOFT7002: Formal Software Engineering

This module is a general introduction to the techniques used in keeping programs error-free at every stage of the software lifecycle. In particular, we will focus on the process of reasoning about the properties of programs and on machine-assisted refinement from specification to implementation.