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