В этом примере показано, как выполнить анализ проверки свойств с несколькими свойствами. Модель конфигурируется для анализа, чтобы попытаться доказать, что:
Если текущее и шесть предыдущих входных значений являются истинными, то выходные данные будут истинными.
Если текущее и шесть предыдущих входных значений имеют значение false, то выходные данные будут иметь значение false.
open_system('sldvdemo_debounce_validprop');
