温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种可双向转换的并发性验证方法、系统、设备及存储介质，其中方法包括：基于源码API信息与文档功能需求，整合出一种双分支映射的中间层规范；将中间层规范分别自动映射为抽象过程模型与源码级验证模型，进行并发属性验证与功能性验证；根据并...
该专利属于中国电子科技集团公司第三十研究所所有，仅供学习研究参考，未经过中国电子科技集团公司第三十研究所授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。