@article{Svanidze2025verification,
author={Svanidze, V.O. and Zolnikov, K.V. and Sazonova, S.A. and Dorohov, V.A. and Harchenko, M.E.},
title={VERIFICATION AND TEST GENERATION OF COMPLEX DIGITAL SYSTEMS},
conference={MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025},
publisher={FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov},
year={2025},
pages={414-423},
}