An axiomatization of the intermittent assertion method using temporal logic

This publication has 8 references indexed in Scilit:

• Verification of concurrent programs: Temporal proof principles
  Published by Springer Nature ,2005
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Is “sometime” sometimes better than “always”?
  Communications of the ACM, 1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969