formal methods

This is a repo for me to store tests as I attempt to get familiar with a few formal verification tools.

Namely, I will be looking at frama-c and spin.