VACID-0
From MaRDI portal
Software:33418
swMATH21613MaRDI QIDQ33418FDOQ33418
Author name not available (Why is that?)
Cited In (7)
- Heaps and Data Structures: A Challenge for Automated Provers
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Simpler proofs with decentralized invariants
- On automation in the verification of software barriers: experience report
- Why3 — Where Programs Meet Provers
- Local Reasoning for Global Graph Properties
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
This page was built for software: VACID-0
