Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-81688-9_37
+Normal rank
@@ Property / OpenAlex ID @@
+W3185067705
@@ Property / OpenAlex ID: W3185067705 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Logics for Certified Compilers
@@ Property / cites work: Program Logics for Certified Compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Algebra Applied to Path-finding Problems
@@ Property / cites work: Regular Algebra Applied to Path-finding Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for the verification of imperative programs
+Normal rank
@@ Property / cites work @@
+Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
+Normal rank
@@ Property / cites work @@
+Q5875421
@@ Property / cites work: Q5875421 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of shape, size and bag properties via user-defined predicates in separation logic
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Fun with semirings
@@ Property / cites work: Fun with semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Simpler proofs with decentralized invariants
@@ Property / cites work: Simpler proofs with decentralized invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
+Normal rank
@@ Property / cites work @@
+Verifying minimum spanning tree algorithms with Stone relation algebras
+Normal rank
@@ Property / cites work @@
+Q5875428
@@ Property / cites work: Q5875428 / rank @@
+Normal rank
@@ Property / cites work @@
+The ramifications of sharing in data structures
@@ Property / cites work: The ramifications of sharing in data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198965
@@ Property / cites work: Q5198965 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive proofs in higher-order concurrent separation logic
+Normal rank
@@ Property / cites work @@
+Local Reasoning for Global Graph Properties
@@ Property / cites work: Local Reasoning for Global Graph Properties / rank @@
+Normal rank
@@ Property / cites work @@
+On the shortest spanning subtree of a graph and the traveling salesman problem
+Normal rank
@@ Property / cites work @@
+Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm
+Normal rank
@@ Property / cites work @@
+Efficient Verified Implementation of Introsort and Pdqsort
+Normal rank
@@ Property / cites work @@
+Q5875432
@@ Property / cites work: Q5875432 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing the Edmonds-Karp Algorithm
@@ Property / cites work: Formalizing the Edmonds-Karp Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Viper: A Verification Infrastructure for Permission-Based Reasoning
+Normal rank
@@ Property / cites work @@
+A graph library for Isabelle
@@ Property / cites work: A graph library for Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Practical Garbage Collectors
+Normal rank
@@ Property / cites work @@
+Verifying Concurrent Graph Algorithms
@@ Property / cites work: Verifying Concurrent Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3499247
@@ Property / cites work: Q3499247 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Path Problems
@@ Property / cites work: A Unified Approach to Path Problems / rank @@
+Normal rank