Solving contest problems via formal program verification

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2026
• Випуск: 2-3
• Сторінки: 355-362
• ISSN: 1727-4907
• Автори та афіліації: N.V. Shilov — Ershov Institute of Informatics Systems — ORCID: 0000-0001-7515-9647; S.O. Shilova — Ershov Institute of Informatics Systems
• Автори: Shilov, N.V., Shilova, S.O.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: PROBLEMS IN PROGRAMMING 2026
• Теми: UDC 519.681.2; 51-8
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/922
• Назва журналу: Problems in programming

The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm design and rigorous mathematical proof of algorithm correctness (in style of A...