Third year @ RHUL (out of 5)
Mostly lab and exercise work from third year.
There is a discrete repo for the current term module 'softwareVerification', that is private. It is a two-person project on the Frama-C tool. https://github.com/flynnWhelehan/softwareVerification