一种复杂同步语言程序的化简转化和自动验证方法

授权

摘要

本发明提供了一种复杂同步语言程序的化简转化和自动验证方法，包括对复杂同步语言程序进行词法分析、语法分析后生成与源程序对应的抽象语法树。基于程序等价转化的思想，将复杂同步语言程序的抽象语法树进行化简并转化为简单同步语言程序的抽象语法树。遍历转化后的抽象语法树，得到一个与源程序功能等价并且只包含简单同步语言语法结构的程序。将该程序作为简单同步语言模型检测工具的输入，得到验证结果，从而实现对复杂同步语言程序的自动验证。

基本信息

专利标题：

一种复杂同步语言程序的化简转化和自动验证方法

专利标题（英）：

暂无

公开（公告）号：

CN112306470A

申请号：

CN202011117839.5

公开（公告）日：

2021-02-02

申请日：

2020-10-19

授权号：

CN112306470B

授权日：

2022-04-08

发明人：

陈哲冉丹孙毅

申请人：

南京航空航天大学

申请人地址：

江苏省南京市秦淮区御道街29号

代理机构：

南京经纬专利商标代理有限公司

代理人：

施昊

优先权：

CN202011117839.5

主分类号：

G06F8/30

IPC分类号：

G06F8/30 G06F8/41 G06F9/448