Crowfoot

MaRDI QIDQ19723swMATHFDO

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