Formal Verification Is Not Verifiable

3 points | by zdw 7 hours ago