Признание
Программное обеспечение Simulink ® Design Verifier™ использует подключаемый модуль Prover ® от технологии Prover ® для создания тестовых примеров и подтверждения свойств модели.

Программное обеспечение Simulink ® Design Verifier™ использует подключаемый модуль Prover ® от технологии Prover ® для создания тестовых примеров и подтверждения свойств модели.
