Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики. ICT. 2025;2:48–53. doi:10.15276/ict.02.2025.06