/thirdYear

Third year @ RHUL (out of 5) Mostly lab and exercise work from third year. All modules for the year listed in topics. See https://github.com/flynnWhelehan/softwareVerification repo (currently private) for the second term module which is a two-person project.

Primary LanguageHaskell

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