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

一种基于程序静态分析的契约合成方法、装置、设备及介质，涉及软件工程领域，包括为存在多个静态信息类别的每种编程语言构建契约合成模板集合且其包括与各静态信息类别对应的契约合成模板；基于静态分析方法对目标源文件工程进行语义分析得到静态语义信息；按...
该专利属于武汉大学所有，仅供学习研究参考，未经过武汉大学授权不得商用。

详细技术文档下载地址

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