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

BTC EmbeddedPlatform 24.1p0 is now available.


Deviation analysis for TargetLink model
It is now possible to perform an analysis to identify potential sources of a failed Back-to-Back test.

Test cases/traces generated for debugging
Enhancing the option to generate test cases/traces for debugging purposes during Proof execution when goal/witness verification fails.

Macros searching by referencing an interface
Integrating the capability to search for macros referencing a specific interface within the interface view of the Formal Specification editor.

Rest-API for Formal Test
Improving the REST-API by adding the option to fetch Formal Test result.

Support for Microsoft Visual Studio 2022

Support TargetLink 23.1

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.