BTC Embedded Systems AG

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 200 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 wo