Crowfoot
From MaRDI portal
Cited in
(7)- jStar
- Ynot
- Symbolic execution proofs for higher order store programs
- Crowfoot: A Verifier for Higher-Order Store Programs
- Specification patterns and proofs for recursion through the store
- Nested Hoare triples and frame rules for higher-order store
- Specification patterns for reasoning about recursion through the store
This page was built for software: Crowfoot
