12-month formal verification program