达谦科技成立于 2020 年，专注于形式化方法的核心技术研发与产业化应用，提供高可靠、高安全的系统级解决方案。经过多年累积，构建了包含形式化验证工具链、可信开发框架及定制化验证服务，覆盖从需求建模到代码生成的全生命周期。通过数学证明，帮助航空航天、自动驾驶、芯片、轨道交通等领域客户提高可信保障。以严谨的数理逻辑为基石，我们致力于成为全球可信软件工程的赋能者。

核心价值观

我们的核心价值观指引着每一个技术决策和产品方向