Matching Logic: An Alternative to Hoare/Floyd Logic
Authors:
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 142-162
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification2007
- The rewriting logic semantics projectTheoretical Computer Science, 2007
- A Local Shape Analysis Based on Separation Logic2006
- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm2006
- Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures2005
- Symbolic Execution with Separation Logic2005
- The Spec# Programming System: An Overview2005
- The pointer assertion logic engineACM SIGPLAN Notices, 2001
- The Schorr-Waite graph marking algorithmActa Informatica, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969