针对源代码的自动化形式化建模与验证的方法与系统
公开
摘要
本发明公开了一种针对源代码的自动化形式化建模与验证的方法与系统，它是一种面向计算机系统软、硬件的通用且自动的形式化建模与验证方案，方案整个过程都自动化进行，无需人工进行干预；具体而言，通过对状态空间的有效压缩和高效搜索，可在一定程度上解决状态空间爆炸的问题，进而可在有限时间内完成针对较大规模软、硬件源代码的形式化验证工作。
基本信息
专利标题 ：
针对源代码的自动化形式化建模与验证的方法与系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114297063A
申请号 ：
CN202111623804.3
公开（公告）日 ：
2022-04-08
申请日 ：
2021-12-28
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
黄文超孟昭逸熊焰熊峰
申请人 ：
中国科学技术大学
申请人地址 ：
安徽省合肥市金寨路96号
代理机构 ：
安徽思沃达知识产权代理有限公司
代理人 ：
李诺
优先权 ：
CN202111623804.3
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-04-08 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
