Main Content

Acknowledgments

The Simulink® Design Verifier™ software uses Prover Plug-In® product Prover® PSL from Prover Technology to generate test cases and prove model properties.