Formal methods of software verification: modern approaches and challenges. ICT [Internet]. 2025 Nov. 5 [cited 2026 Apr. 29];2:48–53. Available from: https://ict.od.ua/index.php/journal/article/view/10