Formal Verification Tool에서 놓친 Alarm 버그 찾기

Looking for Missed Alarm Bugs in a Formal Verification Tool