BTC Embedded Systems AG was founded in Oldenburg in 1999 under the name OSC Embedded Systems. 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. We still feel dedicated to this goal and with roughly 180 employees, we proudly look back on almost 20 years of technological market leadership in areas like formal verification, model checking and automatic test generation. Partnerships with leading research institutes such as the University of Oxford or OFFIS support this objective and contribute to a continuous innovation process. BTC Embedded Systems also regularly contributes to European research projects like MBAT or ASSUME. This effort was even honored by the "Stifterverband für die Deutsche Wissenschaft" with the certificate "Innovative through research". Today, our products are used by car makers and suppliers world-wide for the automated test and verification of embedded systems. This dedication to the needs of the automotive market is visible within several aspects, such as the strategic partnership with dSPACE, the special support for AUTOSAR or the ISO 26262 certificate that is renewed on a regular basis by the German TÜV Süd. 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. Contact us: Europe/India: markus.gros@btc-embedded.com, +49 30 488 227 61 North America: jason.tobias@btc-embedded.com, +1 (248) 838-0305