BTC ES News

16.06.2013 - Today, BTC Embedded Systems AG releases the new BTC EmbeddedSpecifier Version 1.1p0! If you are intersted in an evaluation license, please more >>

16.06.2013 - Today, BTC Embedded Systems AG releases the new BTC EmbeddedTester Version 3.1p0! If you are intersted in an evaluation license, please contact: more >>

22.03.2013 - Up to now, formal specification was for most engineers an insurmountable hurdle: the processes are too mathematical and therefore too complicated for more >>

22.03.2013 - Up to now, formal specification was for most engineers an insurmountable hurdle: the processes are too mathematical and therefore too complicated for more >>

22.03.2013 - Today, BTC Embedded Systems AG releases the new BTC EmbeddedTester Version 3.0p0! If you are intersted in an evaluation license, please contact: more >>


BTC Embedded Systems AG

Fewer limits,
more creative engineering

With highly automated test and verification technology.

more>>

BTC EmbeddedSpecifier

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

more>>

BTC EmbeddedValidator

Proven excellence

The power of proof for safety-critical systems.

more>>

BTC EmbeddedTester

Get there twice as fast

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

more>>