Research Day – Formal Verification of a Linux Distribution