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

Simulink® Разработайте Verifier™ программное обеспечение использует Prever Plug-In® продукты от Prover® Технология для генерации тестов и доказательства свойств модели.