浙江迪捷软件科技有限公司是专注于安全关键领域的嵌入式软件工具提供商,产品主要应用于航空、航天、高铁、核电等关键领域。位于浙江省绍兴市越城区水木湾区科学园,入选了“越州英才”和“海内外英才”项目,享受政府及园区人才政策。
所有产品均为自主研发,拥有自主知识产权。
研发团队来自于清华大学系统软件和软件工程研究室,在嵌入式系统软件研制工具、可信软件研发平台等方面有数十载的积累,且在动态二进制翻译、符号执行及形式化证明等科研领域处于国内领先水平。