“Formal Methods of Software Verification: Modern Approaches and Challenges”. 2025. Informatics. Culture. Technology 2 (November): 48–53. https://doi.org/10.15276/ict.02.2025.06.