This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual Symposium on Foundations of Computer Science (FOCS 1977)
The temporal logic of programs
September 30-October 31
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 dependence of events is the basic concept. Two formal systems are presented for providing a basis for temporal reasoning. One forms a formalization of the method of intermittent assertions, while the other is an adaptation of the tense logic system Kb, and is particularly suitable for reasoning about concurrent programs.
Citation:
Amir Pnueli, "The temporal logic of programs," focs, pp.46-57, 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), 1977
Usage of this product signifies your acceptance of the Terms of Use.