About BTC Embedded Systems

BTC Embedded Systems AG provides products and services for formal verification, validation and automated testing of embedded systems.

With a focus on the automotive industry, we support our world-wide customer base with certified and highly automated test solutions in particular in the context of model-based software development.

With around 100 employees BTC Embedded Systems AG is present at the locations Oldenburg, Berlin, Tokio, Paris und Timisoara and is part of the BTC Business Technology Consulting AG.

More >>

BTC EmbeddedTester® BASE

It’s all about integration


Requirements-based Testing for models and production code inside a highly integrated environment.


BTC EmbeddedTester®

Get there twice as fast


A certified and highly automated test environment including automatic test case generation.


BTC EmbeddedSpecifier®

Step into the formal world with ease

What if your PC could understand your requirements?


BTC EmbeddedValidator®

Proven excellence


The power of proof for safety-critical systems.