Über unsWir entwickeln Premium Tools für Software-Entwickler*innen in der AutomobilindustrieBTC Embedded Systems wurde 1999 in Oldenburg gegründet. Wir starteten mit einem ambitionierten Ziel: Komplexe und leistungsfähige mathematische Verifikations- und Test-Methoden, welche bis dahin vor allem der akademischen Welt vorbehalten waren, für echte Software Serienprojekte im Embedded Bereich nutzbar zu machen. Diesem Ziel fühlen wir uns bis heute verpflichtet und blicken mit inzwischen ca. 180 Mitarbeitern stolz auf 20 Jahre technologische Markführerschaft in Bereichen wie formale Verifikation, Model Checking und automatische Testfall-Generierung zurück. Heute werden unsere ISO 26262 zertifizierten Werkzeuge weltweit von Automobilherstellern und Zulieferern für den automatisierten Test eingebetteter Software eingesetzt.