STeP: The Stanford Temporal Prover

  • Zohar Manna
  • Nikolaj Bjørner
  • Anca Browne
  • Edward Chang
  • Michael Colón
  • Luca de Alfaro
  • Harish Devarajan
  • Arjun Kapur
  • Jaejin Lee
  • Henny Sipma
  • Tomás Uribe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 915)

Keywords

Model 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.

References

  1. [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
  2. [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
  3. [MP95]
    Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Zohar Manna
    • 1
  • Nikolaj Bjørner
    • 1
  • Anca Browne
    • 1
  • Edward Chang
    • 1
  • Michael Colón
    • 1
  • Luca de Alfaro
    • 1
  • Harish Devarajan
    • 1
  • Arjun Kapur
    • 1
  • Jaejin Lee
    • 1
  • Henny Sipma
    • 1
  • Tomás Uribe
    • 1
  1. 1.Computer Science DepartmentStanford UniversityStanford

Personalised recommendations