2016/02/23 - BTC Embedded Systems AG will be present as an exhibitor at the EmbeddedWorld which takes place from 23. - 25.02.2016 in more >>

2016/01/27 - BTC Embedded Systems AG will be present as an exhibitor at the ERTS2-Congress which takes place from 27. - 29.01.2016 in Toulouse/France. Visit us more >>

2015/11/04 - BTC Embedded Systems AG will be present at the EmbeddedTesting 2015 in Munich from 04.-05.11. You can find us at our booth in the exhibition more >>

2015/08/25 - Dr. Udo Brockmeyer, CEO of BTC Embedded Systems AG will announce a new product which provides a seamless and intuitive workflow to bring formal more >>

2014/07/24 - Today, BTC Embedded Systems AG has launched the new BTC Embedded Platform version 1.2p0 on the market! The Platform includes: BTC more >>

BTC Embedded Systems AG

Fewer limits,
more creative engineering

With highly automated test and verification technology.


BTC EmbeddedSpecifier

Step into the formal world with ease
From informal, via semi-formal to formal requirements specification.


BTC EmbeddedValidator

Proven excellence

The power of proof for safety-critical systems.


BTC EmbeddedTester

Get there twice as fast

A certified, highly integrated and fully automated test and verification environment for TargetLink.