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