Pergunta de entrevista da empresa Apple

How to do the formal verification for a given module