Список благодарностей

Программное обеспечение Simulink® Design Verifier™ использует продукты Prover Plug-In® от Prover® Technology, чтобы сгенерировать тесты и доказать образцовые свойства.