Dijkstra Shortest Path
From MaRDI portal
swMATH28550MaRDI QIDQ40264FDOQ40264
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Dijkstra_Shortest_Path.html
Cited In (33)
- Efficient verification of imperative programs using auto2
- Refinement to imperative HOL
- A framework for the verification of certifying computations
- A graph library for Isabelle
- Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
- Netsoft
- AEtnaNova
- Refinement to Imperative/HOL
- Referee
- CFML
- MLton
- Fiat
- CAVA Automata Library
- Edmonds-Karp
- Flow Networks
- Graph Theory
- NASA PVS
- Refinement Monadic
- Separation Logic
- Gabow SCC
- Girth-Chromatic
- LTL_to_GBA
- Real_Impl
- Maximum Cardinality Matching
- Tree Automata
- Auto2_Imperative_HOL
- AutoCorres
- ShortestPath
- Prpu_Maxflow
- Automatic refinement to efficient data structures: a comparison of two approaches
- Title not available (Why is that?)
- Formalizing the Edmonds-Karp algorithm
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
This page was built for software: Dijkstra Shortest Path
