Verification of Sequential Programs: Temporal Axiomatization

This publication has 5 references indexed in Scilit:

• Verification of Concurrent Programs. Part II. Temporal Proof Principles.
  Published by Defense Technical Information Center (DTIC) ,1981
• Verification of Concurrent Programs. Part I. The Temporal Framework,
  Published by Defense Technical Information Center (DTIC) ,1981
• Is “sometime” sometimes better than “always”?
  Communications of the ACM, 1978
• Temporal Logic
  Published by Springer Nature ,1971
• Past, Present and Future
  Published by Oxford University Press (OUP) ,1967