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
- 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
This page was built for software: Crowfoot
