StarNight
says to
#coscup
formal verification 可否用來確認 test 時的 coverage 呢？