Download PDFOpen PDF in browserA Developer-oriented Hoare Logic4 pages•Published: March 24, 2013AbstractWe present a Hoare logic and verification system designed to be understandable by developers. We discuss both the underlying considerations on the design of the system, and the formal and technical background of the tools. We show that the goals have been achieved by typical examples.Keyphrases: hoare logic, lightweight separation, understandable verification conditions In: Alex Simpson (editor). PSPL 2010. International Workshop on Proof Systems for Program Logics, vol 12, pages 4-7.
|