“Formal Methods of Software Verification: Modern Approaches and Challenges”. Інформатика. Культура. Техніка 2 (November 5, 2025): 48–53. Accessed January 9, 2026. https://ict.op.edu.ua/index.php/journal/article/view/10.