Part of the Lecture Notes in Computer Science book series (LNCS, volume 915)
STeP: The Stanford Temporal Prover
KeywordsModel Check Temporal Logic Verification Condition Deductive Method Program Text
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- [MAB+94]Z. Manna, A. Anuchitanukul, N. Bjørner, A. Browne, E. Chang, M. Colón, L. de Alfaro, H. Devarajan, H. Sipma, and T. Uribe. STeP: the Stanford Temporal Prover. Technical report STAN-CS-TR-94-1518, Computer Science Department, Stanford University, June 1994.Google Scholar
- [MP94]Z. Manna and A. Pnueli. Temporal verification diagrams. In Proc. of the Int. Symp. on Theoretical Aspects of Computer Software, volume 789 of LNCS, pages 726–765. Springer-Verlag, April 1994.Google Scholar
- [MP95]Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.Google Scholar
© Springer-Verlag Berlin Heidelberg 1995