The classification of approximate methods of building verification programs, complementing the general classification, is conside
classification, method, verification program.
1. Tehnicheskaya diagnostika: sbornik trudov I vsesoyuznogo soveschaniya po tehnicheskoy diagnostike / Pod red. P.P.Parhomenko. – M.: NAUKA, 1972. – 368 s.
2. Dunaev, M.P. Klassifikaciya logicheskih algoritmov metodov tehnicheskoy diagnostiki / M.P. Dunaev, A.M. Dunaev // Povyshenie effektivnosti proizvodstva i ispol'zovaniya energii v usloviyah Sibiri. – 2014. – № 1. – S. 5-8