Cited in
(12)- On automation in the verification of software barriers: experience report
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Simpler proofs with decentralized invariants
- ESC4
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
- Checkfence
- Java Grande
- Grail
- Camelot
- Why3 -- where programs meet provers
- Local reasoning for global graph properties
- Heaps and Data Structures: A Challenge for Automated Provers
This page was built for software: VACID-0
