{"type":"link","version":"1.0","title":"作者从历史角度分析形式化方法（FM）未… · Why don't people use… | HotDaily","description":"作者从历史角度分析形式化方法（FM）未被广泛采用的原因，区分了代码验证/设计验证与代码规约/设计规约，并指出高保证软件中 FM 使用率也低…","url":"https://hotdaily.top/item/b1cf0646-73d0-459c-aa33-e30294f0d225","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}