BTC EmbeddedPlatform 24.1p0 is now available.
Highlights
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