可信图算法
数据结构与算法
2019-07-10 v1 计算机科学中的逻辑
软件工程
摘要
LEDA项目的目标是构建一个易用且可扩展的库，包含正确且高效的数据结构、图算法与几何算法。我们报告了使用形式化程序验证以实现更高可信度的情况。具体而言，我们报告了已基本完成的针对最大基数匹配的开花收缩算法（blossom-shrinking algorithm）的持续验证工作。
引用
@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}
}
备注
to appear in MFCS 2019