Свойство, доказывающее с блоком предположения

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