Browse Hierarchy SOFT7002: Formal Software Engineering

Back to SOFT: Software
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.

Sorry, there are no lists here yet. You could try:

  • Clicking My Lists from the menu. Your course enrolled lists are stored here.
  • Searching for the list using the form below:

Lists linked to Formal Software Engineering

There are currently no lists linked to this Module.