Formal Approaches to Software Engineering Practicals

Repo contains the practical work and code shown in lectures/demonstrations for the Formal Approaches to Software Engineering module taken in forth year.

Aims:

• Learn both the ADA language and the SPARK framework
• Produce software that is guarenteed to work as intended
• Understand the maths behind creating the correct pre/post conditions