formal-methods KTH Royal Institute of Technology DD2452 Formal methods. This repository contains exercises in Frama-C and NuSMV.