Документация

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