D7 Formal Methods and Verification