Cover Image

Solving contest problems via formal program verification

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...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2026
Issue:2-3
Pages:355-362
ISSN:1727-4907
Author Affiliations:
  • N.V. Shilov — Ershov Institute of Informatics Systems — ORCID: 0000-0001-7515-9647
  • S.O. Shilova — Ershov Institute of Informatics Systems
Main Authors: Shilov, N.V., Shilova, S.O.
Format: Article
Language:English
Published: PROBLEMS IN PROGRAMMING 2026
Subjects:
UDC 519.681.2
51-8
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/922
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items