Simulink Design Verifier

設計エラーの特定、テスト ケースの生成、要求仕様に対する設計の検証