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