摘要：国家知识产权局信息显示，上海丰蕾信息科技有限公司申请一项名为“一种基于SCADE模型形式化验证的方法、装置、设备及存储介质”的专利，公开号CN 119046127 A，申请日期为2024年4月。

金融界2024年11月30日消息，国家知识产权局信息显示，上海丰蕾信息科技有限公司申请一项名为“一种基于SCADE模型形式化验证的方法、装置、设备及存储介质”的专利，公开号CN 119046127 A，申请日期为2024年4月。

专利摘要显示，本发明提供了一种基于SCADE模型形式化验证的方法、装置、设备及存储介质，包括有：获取SCADE模型文件信息，通过.etp文件中的SCADE模型文件位置读取项目信息；解析并保存项目中的数据流信息，解析并保存SCADE项目中的自定义类型和常量；将保存后的项目数据输入转换器；解析表达式的输入输出类型和操作符类型；根据输入输出类型解析表达式，根据操作符类型生成对应的模型检查语言；通过模型检查器读取模型检查语言，进行包括线性时态逻辑和计算树逻辑在内的形式化模型检查来进行系统验证，可以高效的实现对SCADE模型语义的形式化验证，提高基于模型开发的工业软件的安全性和质量。

来源：金融界