“Formal Methods of Software Verification: Modern Approaches and Challenges”. Informatics. Culture. Technology 2 (November 5, 2025): 48–53. Accessed April 29, 2026. https://ict.od.ua/index.php/journal/article/view/10.