loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Release of BTC EmbeddedPlatform 23.2p0

BTC EmbeddedPlatform 23.2p0 is now available.


Graphical Debugger for Formal Specification
It is now possible to graphically check the status of each phase of the Universal Pattern in the Validation and Formal Test results of the Formal Specification and the analysis results of the Formal Verification, which allow to make debugging easier.

Re-use Generated C-code for EC Importing
It is now possible to reuse already generated C-code for Embedded Coder architectures, which allows to increase the performance of architecture import scenarios.

Observe Intermediate FR Results
During generating test case in Formal Test or executing Proof in Formal Verification, it is now possible to observe intermediate Formal Requirements’ status as well as progress bar.

Support MATLAB 2023a

Support Polarion 2304


Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our privacy policy.


Discover some of the main features of our products in these short videos.