Simulink Design Verifier

Identification des erreurs de conception, génération de cas de test et vérification de la conformité des conceptions aux spécifications