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. Intl. Conference on Computer Aided Verification (1996), vol. 1102 of LNCS, Springer-Verlag, pp. 208-219.