formal verification 可否用來確認 test 時的 coverage 呢？