%0 Conference Article
%T VERIFICATION AND TEST GENERATION OF COMPLEX DIGITAL SYSTEMS
%A Svanidze, V.O.
%A Zolnikov, K.V.
%A Sazonova, S.A.
%A Dorohov, V.A.
%A Harchenko, M.E.
%K verification and test generation, digital systems, test generation, complex systems, testability
%J MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025
%D 2025
%P 9
%I FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov