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