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 %