BTC Products

Create new opportunities

Whether it’s formal specification, verification or highly-automated testing, with the tools from BTC, you will always be one idea ahead.

Step into the formal world with ease: BTC EmbeddedSpecifier

• Semi-formal and formal specification of requirements
• Automatic generation of diagnostic units (C-Observer)
• Allows formal testing without any knowledge of formal methods

Proven excellence: BTC EmbeddedValidator

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

• Formal verification of models against the requirements
• Fully automated robustness analysis of models
• Verified by mathematical proof

Getting there twice as fast: BTC EmbeddedTester

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

• Requirements-based testing
• Back-to-back testing with coverage measurement
• Simulation-based formal verification
• Reduces testing effort by up to 70 %