Crowfoot
From MaRDI portal
Software:19723
swMATH7706MaRDI QIDQ19723FDOQ19723
Author name not available (Why is that?)
Cited In (5)
- Specification patterns for reasoning about recursion through the store
- Symbolic execution proofs for higher order store programs
- 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
