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