买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:上海丰蕾信息科技有限公司
摘要:本发明提供了一种操作系统调度算法形式化验证系统的方法、装置、设备及存储介质,包括有如下步骤:S101:基于ANSIISOCSpecificationLanguage技术,对需要证明的操作系统调度算法的属性进行描述;S102:基于最弱前置谓词演算理论,使用推理证明插件和证明条件生成器生成验证条件;S103:基于形式化验证技术,启用自动证明器对验证条件进行证明,实现对操作系统调度算法的验证;操作系统调度算法形式化验证的方法,可以实现自动化地验证基于C语言的操作系统调度算法的正确性,提高软件产品的可靠性与安全性。
主权项:1.一种操作系统调度算法形式化验证系统的方法,其特征在于:包括有以下步骤:S101:基于ANSIISOCSpecificationLanguage技术,对需要证明的操作系统调度算法的属性进行描述;S102:基于最弱前置谓词演算理论,使用推理证明插件和证明条件生成器生成验证条件;S103:基于形式化验证技术,启用自动证明器对验证条件进行证明,实现对操作系统调度算法的验证。
全文数据:
权利要求:
百度查询: 上海丰蕾信息科技有限公司 操作系统调度算法形式化验证系统的方法、装置、设备及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。