Cited in
(28)- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Graph theory in Coq: minors, treewidth, and isomorphisms
- Efficient verification of imperative programs using auto2
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
- Netsoft
- Autoref
- CFML
- libclang
- MLton
- Efficient verified (UN)SAT certificate checking
- GRAT
- VACID-0
- Dijkstra Shortest Path
- Collections
- Flow Networks
- CAVA LTL Modelchecker
- Refinement Monadic
- Separation Logic
- Gabow SCC
- Imperative Refinement
- Auto2_Imperative_HOL
- IEEE_Floating_Point
- MFMC_Countable
- Prpu_Maxflow
- scientific article; zbMATH DE number 7649969 (Why is no real title available?)
- Refinement to imperative HOL
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
This page was built for software: Edmonds-Karp
