BTC Embedded Systems AG (“BTC-ES”), a majority shareholding of BTC Business Technology Consulting AG, provides products and services for Formal Verification, Validation, and Automated Testing of Embedded Systems. BTC-ES products significantly reduce required efforts for testing and validation of Embedded Systems, and  considerably increase the quality of the developed system. Additionally, BTC-ES offers adequate on-site and off-site services around the testing products and testing in general. In order to successfully provide these powerful products and services for test automation and Formal Verification, BTC-ES cooperates very closely with dSPACE GmbH as well as with major OEMs and suppliers in the automotive industries.