%0 Journal Article %T CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS %A Dunaev, M.P. %A Dunaev, A.M. %K classification, method, verification program. %J Modern Technologies and Scientific and Technological Progress %D 2022 %N 2021 %P 1 %I Federal State Funded Educational Establishment of Higher Education «Angarsk State Technical University»