Начало работы с Simulink Design Verifier

Примеры

О систематическом Model Verification