Skyeye

北京迪捷数原科技有限公司是专注于关键领域的嵌入式软件工具提供商，公司注册资金人民币500万元，位于北京市海淀区上地国际创业园。我们致力于提供从前期设计到后期验证测试的全生命周期的嵌入式软件工具，产品主要应用于航空、航天、高铁、核电等关键领域的嵌入式软件开发。当前北京迪捷数原科技有限公司的所有产品均为自主研发，其研发团队来自清华大学信研院的操作系统中心，在嵌入式系统软件研制工具、可信软件研发平台等方面已有数十年的积累，并且在动态二进制翻译、符号执行和形式化证明等科研领域也处于国内领先水平。