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_2

Abstract:

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 (466 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 = {LNCS},
volume = {12302},
pages = {25--53},
year =2020,
note = {Invited paper}
}

Download BibTeX (399 Bytes)