一种基于中间语言的形式化规约语言简化方法

摘要

本发明公开了一种基于中间语言的形式化规约语言简化方法，将应用程序转化为中间语言程序，然后将中间语言程序映射为Lolisa语言程序；所述中间语言程序包括类型finitpar_type和结构list_pars，采用类型finitpar_type将参数形式化为Type类型，采用结构list_pars将形式化参数列表整合为list类型。本发明将应用程序转化为中间语言程序，中间语言将简化形式化语言的语法，然后根据中间语言和底层的Lolisa语言的转换关系，将中间语言程序转化为Lolisa编写的形式化程序。本发明简化了形式化语言的数据类型和文法规则，提高了形式化验证的用户友好度。