Trustworthy Graph Algorithms
Data Structures and Algorithms
2019-07-10 v1 Logic in Computer Science
Software Engineering
Abstract
The goal of the LEDA project was to build an easy-to-use and extendable library of correct and efficient data structures, graph algorithms and geometric algorithms. We report on the use of formal program verification to achieve an even higher level of trustworthiness. Specifically, we report on an ongoing and largely finished verification of the blossom-shrinking algorithm for maximum cardinality matching.
Keywords
Cite
@article{arxiv.1907.04065,
title = {Trustworthy Graph Algorithms},
author = {Mohammad Abdulaziz and Kurt Mehlhorn and Tobias Nipkow},
journal= {arXiv preprint arXiv:1907.04065},
year = {2019}
}
Comments
to appear in MFCS 2019