http://t.cn/A6usxDEt 要过SIL认证，需要利用软件形式化验证手段。开源着干，欢迎褒贬。
形式化验证是用数学方法去证明我们的系统是无 Bug 的。
发布于 上海
裴喜龙 25-01-18 13:59
http://t.cn/A6usxDEt 要过SIL认证，需要利用软件形式化验证手段。开源着干，欢迎褒贬。
形式化验证是用数学方法去证明我们的系统是无 Bug 的。