Research Day – Automated Formal Verification