面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
CCF科学技术奖
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
完成单位:华东师范大学、上海工业控制安全创新科技有限公司、
卡斯柯信号有限公司、工业和信息化部电子第五研究所
主要完成人:何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏
本项目针对控制软件的质量问题,形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具,并在实际应用中发挥了重要作用,解决了若干关键质量问题。
<<< 上一篇
大规模智能云网络关键技术及平台
<<< 下一篇 专用处理器芯片自动设计技术与应用
读完这篇文章后,您心情如何?
推荐内容
More >>>- · 大会主题确定,期待在横店有新突破 | CNCC202
- · 团报倒计时5天,YEF2024宁波智启新局,等你启
- · CSP高分说 | 武汉大学刘锡锐:CSP认证的特点
- · “CCF终身成就奖”获得者、中国科学院院士张
- · 风头正劲!CCF大模型论坛(FoLM)正式成立,撬
- · 聚焦CCDE2024 | 智能建造专题会议:智能建造
- · “CCF终身成就奖”获得者、中国科学院院士张
- · 聚焦CCDE2024丨数字金融专题会议在苏州举行
- · 要素革新,乘数前行|CCDE2024“数据要素X”
- · CSP高分说 | 南京大学吴轲:回首与CCF相伴的
- · CNCC近期咨询热点问题解答,你想知道的都在这
所有评论仅代表网友意见