Repo contains the practical work and code shown in lectures/demonstrations for the Formal Approaches to Software Engineering module taken in forth year.
- 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