next up previous
Next: About this document

References

1
BJøRNER, N., BROWNE, A., CHANG, E., COLóN, M., KAPUR, A., MANNA, Z., SIPMA, H., AND URIBE, T. STeP: The Stanford Temporal Prover, User's Manual. Tech. Rep. STAN-CS-TR-95-1562, Computer Science Department, Stanford University, Nov. 1995.

2
BJøRNER, N., BROWNE, A., AND MANNA, Z. Automatic generation of invariants and intermediate assertions. In Intl. Conf. on Principles and Practice of Constraint Programming (Sept. 1995), vol. 976 of LNCS, Springer-Verlag, pp. 589-623.

3
BROWNE, A., MANNA, Z., AND SIPMA, H. Generalized temporal verification diagrams. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science (1995), vol. 1026 of LNCS, Springer-Verlag, pp. 484-498.

4
BROWNE, A., MANNA, Z., AND SIPMA, H. Modular verification diagrams. Tech. rep., Computer Science Department, Stanford University, 1996.

5
HEITMEYER, C., AND LYNCH, N. The generalized railroad crossing: A case study in formal verification of real-time systems. In Proc. ICCC Real-Time Systems Symposium (1994), IEEE Press, pp. 120-131.

6
MANNA, Z., ANUCHITANUKUL, A., BJøRNER, N., BROWNE, A., CHANG, E., COLóN, M., DE ALFARO, L., DEVARAJAN, H., SIPMA, H., AND URIBE, T. STeP: The Stanford temporal prover. Tech. Rep. STAN-CS-TR-94-1518, Computer Science Department, Stanford University, July 1994.

7
MANNA, Z., AND PNUELI, A. Temporal verification diagrams. In Proc. Int. Symp. on Theoretical Aspects of Computer Software (1994), vol. 789 of LNCS, Springer-Verlag, pp. 726-765.

8
MANNA, Z., AND PNUELI, A. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.

9
MANNA, Z., AND PNUELI, A. Clocked transition systems. Tech. Rep. STAN-CS-TR-96-1566, Computer Science Department, Stanford University, Apr. 1996.

10
SIPMA, H., URIBE, T., AND MANNA, Z. Deductive model checking. In Proc. tex2html_wrap_inline655 Intl. Conference on Computer Aided Verification (1996), vol. 1102 of LNCS, Springer-Verlag, pp. 208-219.



step-comments@cs.stanford.edu