Learn More
  • Amir Pnueli
  • 18th Annual Symposium on Foundations of Computer…
  • 1977
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in which the time(More)