Свойство, доказывающее с недопустимым свойством

Этот пример показывает, как найти недопустимое свойство с помощью анализа доказательства свойства Simulink Design Verifier.