贝腾软件科技（上海）有限公司（BTC Software Technology(Shanghai)Co.,Ltd）位于上海市嘉定区墨玉南路888号，是BTC Embedded Systems AG (简称BTC)在中国设立的唯一全资子公司。

BTC公司于1999年创立于德国奥尔登堡市，在柏林，东京，巴黎，蒂米什瓦拉（罗马尼亚），及上海设有分公司。BTC的工作愿景是把应用于科研领域的强大的数学验证技术延伸拓展到控制软件量产现场的基于模型开发项目中去。BTC在形式测试验证，Model Checking及自动测试用例生成领域的沉淀和积累，持续引领着技术市场的发展。

BTC的产品在全球汽车整车厂及供应商的嵌入式系统的自动测试和验证领域中得到了广泛应用。在汽车电子自动测试领域，BTC构建了和Mathworks, dSPACE、IBM 的战略合作伙伴关系，BTC的工具也通过了南德公司TÜV SÜD的认证，结合工具和最佳流程实践，BTC持续提供面向于 AUTOSAR 及 ISO26262认证的支持，以帮助汽车用户快速构建满足这些标准的测试和验证环境。

网址Website：www.group.btc-ag.com/