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.
Lists linked to Formal Software Engineering
Title Sort by title | Semester | Last updated Sort by last updated |
---|---|---|
Formal Software Engineering | 29/03/2021 11:13:14 |