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