[isabelle] Survey Paper

Dear Isabelle users,

You may be interested in the survey paper:

Verified Textbook Algorithms. A Biased Survey
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck

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.

It is an invited ATVA 2020 paper. The ATVA proceedings are freely available online http://fit.uet.vnu.edu.vn/atva2020/ for 4 weeks.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.