-
![绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导]()
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
![绍兴市越城区副区长侯宏伟一行赴迪捷软件走访考察]()
-
![“云上SkyEye，数字未来”——DISA决赛，我们来了！]()
“云上SkyEye，数字未来”——DISA决赛，我们来了！
备受瞩目的DISA*，即“2021工业软件创新应用大赛”正在如火如荼的进行中。备受瞩目的DISA*，即“2021工业软件创新应用大赛”正在如火如荼的进行中。 本次大赛由广东省工业和信息化厅指导，东莞市人民政府主办，东莞市工业和信息化局、数字化工业软件联盟承办、数字化学会、华为云、中国工业技术软件化产业联盟协办，聚焦国内技术短板，获得了行业瞩目。
2022-06-07 digiproto
-
![浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈]()
浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈
2022年5月24日下午，浙江省经信厅软件和集成电路处处长邬韶杭携省软件行业协会、省半导体行业协会领导赴迪捷软件调研指导，市经信局领导陪同调研。
2022-05-27 digiproto
-
![「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台]()
「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台
不积跬步，无以至千里。面对如此巨大的市场需求，潜心耕耘近20年的迪捷团队抓住机遇，厚积薄发，于2019年成立浙江迪捷软件科技有限公司，推出了基于模型的系统工程（MBSE）的自主研发产品。
2022-05-09 digiproto
-
![迪捷软件荣登首版次产品目录]()
迪捷软件荣登首版次产品目录
近日，浙江省经济和信息化厅公布的《2021年浙江省首版次软件产品应用推广指导目录》中，浙江迪捷软件科技有限公司的“天目全数字实时仿真软件 V3.5”榜上有名，成为2021年度绍兴市唯一入围软件产品。
2022-03-03 digiproto
-
![科创使命，砥砺奋进——省人大代表一行视察迪捷软件]()
科创使命，砥砺奋进——省人大代表一行视察迪捷软件
2021年11月30日下午，省人大代表一行视察浙江迪捷软件科技有限公司。在迪捷软件副总田娜的陪同下，省人大代表一行首先观看了公司宣传片，随后参观了公司的公共区域和办公区域。
2021-12-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
