{Посредством функциональных испытаний, например, логического моделирования схемы или алгоритмов, для этого проверяющих электронные компьютеры g06f11/00}