Secure mechanical verification of mutually recursive procedures

This publication has 7 references indexed in Scilit:

• A mechanically verified verification condition generator
  The Computer Journal, 1995
• Substitution revisited
  Theoretical Computer Science, 1988
• Partial correctness: The term-wise approach
  Science of Computer Programming, 1984
• Automatic construction of verification condition generators from hoare logics
  Published by Springer Nature ,1981
• Assignment and Procedure Call Proof Rules
  ACM Transactions on Programming Languages and Systems, 1980
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• Automatic program verification I: A logical basis and its implementation
  Acta Informatica, 1975