SMIRNOV, OLEKSII, SERHII POPLAVSKYI, PAVLO ZHUKOVSKYI, PETRO VIZHEVSKYI, and OLEKSANDR SOROCHYNSKYI. “STRATEGY AND ALGORITHMS FOR DETECTING VULNERABILITIES IN SOFTWARE MODELS OF HARDWARE”. Herald of Khmelnytskyi National University. Technical sciences 335, no. 3(1) (May 30, 2024): 436–444. Accessed January 26, 2026. https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/280.