“Formal Methods of Software Verification: Modern Approaches and Challenges”. Інформатика. Культура. Техніка, vol. 2, Nov. 2025, pp. 48–53, https://doi.org/10.15276/ict.02.2025.06.