Trustworthy tools for trustworthy programs: A verified verification condition generator

This publication has 6 references indexed in Scilit:

• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989
• Substitution revisited
  Theoretical Computer Science, 1988
• Partial correctness: The term-wise approach
  Science of Computer Programming, 1984
• 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