-
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
-
精彩回顾 - 迪捷软件参加四川省“拓市场稳增长”制造业智改数转供需对接活动
2024年11月1日，四川省“拓市场稳增长”制造业智改数转供需对接活动在蓉举行，迪捷软件赴蓉参展之行圆满收官。
2024-11-04 digiproto
-
迪捷软件加入高端工业软件创新发展领航计划
为推动工业软件产业化和高端装备制造业数字化转型高质量协同发展，加快推进新型工业化建设，1月18日，国家工业信息安全发展研究中心（以下简称中心）召开了“2024年高端工业软件生态创新发展研讨会”。
2024-01-22 digiproto
-
![精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官]()
精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官
2023年11月24日，为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家，在西安、上海、成都站进行了演讲分享。
2023-11-30 digiproto
-
![展会动态 - 迪捷软件邀您参加2023世界智能网联汽车大会]()
展会动态 - 迪捷软件邀您参加2023世界智能网联汽车大会
由北京市人民政府、工业和信息化部、公安部、交通运输部和中国科学技术协会联合主办的2023世界智能网联汽车大会将于9月21日-24日在北京·中国国际展览中心（顺义馆）举行。
2023-09-15 digiproto
-
![喜报丨迪捷软件入选浙江省2023年省级产业数字化服务商]()
喜报丨迪捷软件入选浙江省2023年省级产业数字化服务商
近日，根据《关于组织开展2023年度省级产业数字化服务商申报工作的通知》要求，省经信厅公布2023年省级产业数字化服务商名单，浙江迪捷软件科技有限公司榜上有名。
2023-09-08 digiproto
-
![展会动态 - 迪捷软件邀您参加【AUTOSEMO“恒以致远，共创共赢”主题研讨会】]()
展会动态 - 迪捷软件邀您参加【AUTOSEMO“恒以致远，共创共赢”主题研讨会】
大会简介2023年，中国汽车工业迎来70年华诞，仅用70年，中国就已建成全球规模最大、品类最齐全、配套最完整的汽车工业体系。中国汽车工业协会软件分会中国汽车基础软件生态标准专委会（China Automotive Basic Software Ecosystem Committee，简称AUTOSEMO）成立于2020年7月，3年来始终以智能网联应用为中心构建软件架构，持续研究行业标准规范，推动行
2023-08-28 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
