Verified Textbook Algorithms. A Biased Survey (invited paper)
by Tobias Nipkow, Manuel Eberl, and Maximilian P. L. Haslbeck
In: Proceedings of ATVA 2020
DOI:
10.1007/978-3-030-59152-6_2Abstract:
This article surveys the state of the art of verifying standard textbook algorithms. We focus largely on the classic text by Cormen et al. Both correctness and running time complexity are considered.
Download preprint PDF (479 KiB)
BibTeX:
@inproceedings{NipkowEH-ATVA20,
author = "Tobias Nipkow and Manuel Eberl and Maximilian P. L. Haslbeck",
title = "Verified Textbook Algorithms. {A} Biased Survey",
booktitle = "ATVA 2020, Automated Technology for Verification and Analysis",
editor = "Dang Van Hung and Oleg Sokolsky",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
year = 2020,
note = "Invited paper. To appear"
}
(The final publication is available at link.springer.com)