Crowfoot
From MaRDI portal
Software:19723
No author found.
Related Items (5)
Crowfoot: A Verifier for Higher-Order Store Programs ⋮ Symbolic execution proofs for higher order store programs ⋮ Specification patterns for reasoning about recursion through the store ⋮ Nested Hoare Triples and Frame Rules for Higher-order Store ⋮ Specification Patterns and Proofs for Recursion through the Store
This page was built for software: Crowfoot
