Simulink Verification, Validation, and Test – комплект модулей для проверки встроенных систем. С их помощью разработчики могут внедрять требования в свои модели, отслеживать их соблюдение, а затем использовать для создания сертификационного кода. Соответствие моделей и кода проверяется с помощью статического анализа и формальных методов.