Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL
Metadata only
Date
2019-02Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Journal of Automated ReasoningVolume
Pages / Article No.
Publisher
SpringerSubject
Maximum flow problem; Edmonds–Karp algorithm; Push–relabel algorithm; Formal verification; Isabelle/HOL; Stepwise refinementOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata