第1选型 ITBuy
信众智-CIO社交平台
第1培训-企业数字化培训平台
金融
验证方法关键字列表
Linux 基金会透露未来 Linux 内核可能会引入形式验证
据悉,形式验证(Formal Verification)含义是根据某个或某些形式规范或属性,使用数学的方法证明其正确性或非正确性。 Jim 同时也说,这是一个很困难的过程,目前还不能保证形式验证相关工作的具体时间表。
内核 验证方法
话题推荐
企业网版权所有©2010-2025 京ICP备09108050号-6京公网安备 11010502049343号