2025. Formal methods of software verification: modern approaches and challenges. Informatics. Culture. Technology. 2, (Nov. 2025), 48–53. DOI:https://doi.org/10.15276/ict.02.2025.06.