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