A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION

This publication has 4 references indexed in Scilit:

• A complete logic for reasoning about programs via nonstandard model theory I
  Theoretical Computer Science, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978