Formal verification

https://softwarefoundations.cis.upenn.edu/