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

本发明提供一种软件源代码的验证方法及装置，方法包括：根据编程语言的语法规则，对软件源代码进行文法单元的划分，得到至少一个文法单元；基于预设的下推自动机，对每个文法单元进行识别；识别通过后，将文法单元编译为目标代码段；根据预设的专用公理集，获...
该专利属于北京航空航天大学所有，仅供学习研究参考，未经过北京航空航天大学授权不得商用。

详细技术文档下载地址

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