Formal methods of software verification: modern approaches and challenges. ICT. 2025;2:48–53. doi:10.15276/ict.02.2025.06