swMATH21613MaRDI QIDQ33418FDOQ33418
Author name not available (Why is that?)
Official website: https://www.microsoft.com/en-us/research/wp-content/uploads/2008/12/krml209.pdf
Cited In (12)
- Heaps and Data Structures: A Challenge for Automated Provers
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Local reasoning for global graph properties
- Simpler proofs with decentralized invariants
- On automation in the verification of software barriers: experience report
- ESC4
- Checkfence
- Java Grande
- Grail
- Camelot
- Why3 -- where programs meet provers
- 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
