VACID-0
From MaRDI portal
Software:33418
No author found.
Related Items (7)
Local Reasoning for Global Graph Properties ⋮ Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms ⋮ Why3 — Where Programs Meet Provers ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ Heaps and Data Structures: A Challenge for Automated Provers ⋮ Simpler proofs with decentralized invariants ⋮ On automation in the verification of software barriers: experience report
This page was built for software: VACID-0
