返回首页
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
完成单位：华东师范大学、上海工业控制安全创新科技有限公司、
卡斯柯信号有限公司、工业和信息化部电子第五研究所
主要完成人：何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏
本项目针对控制软件的质量问题，形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具，并在实际应用中发挥了重要作用，解决了若干关键质量问题。
<<< 上一篇
大规模智能云网络关键技术及平台
<<< 下一篇 专用处理器芯片自动设计技术与应用
推荐内容
More >>>- · AI时代产学研合作如何创造新价值 CCF UIC论坛
- · 构建可信AI：企业级Agent架构与应用实践 | TF
- · 以数据为中心的AI智能体落地实践 | TF技术前
- · 大模型的知识与记忆 | TF技术前线184期回顾
- · 复杂智能体系统的开发与驾驭——对话宋继强、
- · 共绘BioAI无限未来 ——CCF TF第186期在京成
- · CNCC2026颁奖典礼隆重颁发四大奖项 ——CCF王
- · 2026年CCF大学生启航计划发布典礼在蓉举行
- · 第二届CCF数字孪生创新发展推进会和CCF沈阳联
- · CCCF 2026年10月刊发布
- · 2026 CCF CCSP竞赛手册发布，10月21~22日成都