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