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