迪捷软件

浙江迪捷软件科技有限公司成立于2013年，总部位于北京，专注于安全关键领域的数字化转型，秉持中立开放的商业理念，为国防等安全关键领域提供基于模型的系统工程（MBSE）和数字装备产品及解决方案。公司所有软件产品均为自主研发，拥有核心知识产权，涵盖高端装备的设计、研发和测试等环节。公司在浙江省绍兴市设有总部，并在北京、成都、上海等地设有分公司。

公司创始团队来自清华大学计算机系的系统软件和软件工程研究室，核心技术团队成员则来自清华、北大、北航以及航天科研院所，在嵌入式虚拟化、形式化证明和符号执行等领域处于国内领先地位。由迪捷发起的开源项目包括SkyEye、L2C、Android_S2E等，在国内外享有较高知名度。