Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Verified Textbook Algorithms. A Biased Survey (invited paper)

by Tobias Nipkow, Manuel Eberl, and Maximilian P. L. Haslbeck

In: Proceedings of ATVA 2020


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)


  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"

Download BibTeX (421 Bytes)