BTC ES News

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 >>

20.07.2012 - Today, BTC Embedded Systems AG releases the new EmbeddedTester Version 2.9p0! BTC EmbeddedTester is now 64 Bit compatible and supports TargetLink more >>

04.07.2012 - Today, BTC Embedded Systems AG releases the new EmbeddedValidator Version 3.7p0! BTC EmbeddedValidator is now 64 Bit compatible and supports more >>

BTC EmbeddedTester


BTC EmbeddedTester is a certified, highly integrated, fully automated test environment for the world’s leading auto code generator TargetLink.

BTC EmbeddedValidator


No ifs or buts: BTC EmbeddedValidator provides absolute reliability in formal verification of TargetLink models.


more>>

BTC EmbeddedSpecifier


From the informal to the semi-formal right up to the formal specification of requirements: BTC EmbeddedSpecifier is the perfect tool for engineers who want to be on the safe side right from the start when it comes to creativity.

more>>

Direct Contact


If you have any questions regarding our product or service portfolio, do not hesitate to contact us directly...

contact>>