Nonstandard runs of Floyd-provable programs

This publication has 7 references indexed in Scilit:

• Axioms of algorithmic logic univocally determine semantics of programs
  Published by Springer Nature ,2005
• A complete logic for reasoning about programs via nonstandard model theory II
  Theoretical Computer Science, 1982
• Programs and program verifications in a general setting
  Theoretical Computer Science, 1981
• Making dynamic logic first-order
  Published by Springer Nature ,1981
• First order dynamic logic with decidable proofs and workable model theory
  Lecture Notes in Computer Science, 1981
• Cylindric Set Algebras
  Lecture Notes in Mathematics, 1981
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978