О вероятностном подходе к проверке последовательностных устройств

Предлагается вероятностный подход к проверке дискретных устройств с памятью. При этом анализируется поведение устройства в окрестности его начального состояния. Проверка основана на сравнении ожидаемого распределения вероятностей единичных сигналов на выходах исправного устройства с распределением вероятностей, полученным при эксперименте над испытуемым устройством. В процедуре вычисления ожидаемого распределения вероятностей используется описание поведения устройства цепью Маркова.