返回首页
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
CCF科学技术奖
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
完成单位：华东师范大学、上海工业控制安全创新科技有限公司、
卡斯柯信号有限公司、工业和信息化部电子第五研究所
主要完成人：何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏
本项目针对控制软件的质量问题，形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具，并在实际应用中发挥了重要作用，解决了若干关键质量问题。
<<< 上一篇
大规模智能云网络关键技术及平台
<<< 下一篇 专用处理器芯片自动设计技术与应用
读完这篇文章后，您心情如何？
推荐内容
More >>>- · 关于推荐2026年度“CCF重大成就奖“候选人的
- · 关于推荐2026年度“CCF夏培肃奖”候选人的通
- · 2026年度CCF会士提名将于11月1日截止
- · 2026年《CCF技术公益案例集》入选案例名单公
- · CCCF 2026年9月刊发布——“智能化软件开发”
- · 今晚8点，免费解锁7个AI Agent实战项目！仅开
- · 2026下半年CCF新晋高级会员、杰出会员名单公
- · 从芯片到机器人应用：RISC-V构建具身智能开源
- · BioAI无限未来 | TF技术前线186期报名
- · CCF人工智能素养提升行动｜人文智能普及行动
- · 2026 CCF CCSP竞赛将于10月21~22日举办，9月9
所有评论仅代表网友意见