swMATH7706MaRDI QIDQ19723FDOQ19723
Author name not available (Why is that?)
Official website: http://www.informatics.sussex.ac.uk/research/projects/PL4HOStore/crowfoot/
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
