Аннотация:
Предлагается метод определения возможных устойчивых константных неисправностей дискретных синхронных последовательностных схем по известному фактическому поведению последних на заданной входной последовательности. Метод не накладывает ограничений на базис схемы и использует структурное представление ее в виде модели Хаффмана. В основу положено исчисление $\alpha$-состояний.