> -- prospero78 писал(а):
> Любая новая деталь автомата снижает надёжность автомата.Имхо, достаточно ассерта на входе и выходе. Это отловит 95% недопустимых состояний. Я против избыточных сущностей.
Указанные средства - это не столько новые детали автомата, сколько процедуры здачи-приёмки. АК много где выпускается, но оригинальный ценится особо за контроль качества.