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

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