BTC Embedded Systems provides intelligent and automated software test solutions for the SDV era. Founded in 1999 we started with an ambitious goal: To take complex and powerful mathematical verification and test methods out of their academic hiding place, and make them available for real-life model-based software development projects. Today, our products are used by car makers and suppliers world-wide for the automated test and verification of embedded systems. With a high degree of automation, an ISO 26262 certificate and a perfect toolchain integration with products like Simulink, TargetLink, Jenkins, Docker, Polarion, DOORS, Github and many more, BTC Embedded Systems products are the perfect fit for the requirements of the SDV era. Currently BTC Embedded Systems AG has locations in Oldenburg, Berlin, Tokyo, Nagoya, Shanghai, Detroit, Paris, and Timisoara, and is part of the “BTC Group” led by the BTC Business Technology Consulting AG.