Edmonds-Karp
From MaRDI portal
swMATH28548MaRDI QIDQ40262FDOQ40262
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/EdmondsKarp_Maxflow.html
Cited In (28)
- Graph theory in Coq: minors, treewidth, and isomorphisms
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Efficient verification of imperative programs using auto2
- Refinement to imperative HOL
- Efficient verified (UN)SAT certificate checking
- Netsoft
- Title not available (Why is that?)
- Autoref
- CFML
- libclang
- MLton
- 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
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
- Title not available (Why is that?)
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
This page was built for software: Edmonds-Karp
