This repository contains a hands-on workshop for aerospace engineers who want to build robust verification and validation practices into their Model-Based Design workflow using Simulink® and Stateflow®. You'll learn how to check models against high-integrity standards, link tests to requirements, and measure model test coverage. - View it on GitHub