Natick-based MathWorks has introduced its Simulink Design Verifier, which the company said will allow developers of embedded systems to automatically obtain test cases to satisfy industry-standard metrics.
The system, which starts around $8,000, is designed to aide engineers gain insight into system behavior and tuning parameters for optimal performance, according to the company.
Simulink Design Verifier incorporates the Prover Plug-In proof engine from Prover Technology, which automatically generates test cases and counterexamples.
