“Formal methods of software verification: modern approaches and challenges”, ICT, vol. 2, pp. 48–53, Nov. 2025, doi: 10.15276/ict.02.2025.06.