STeP: Deductive-algorithmic verification of reactive and real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 415-418

  Bjørner, Nikolaj ^a   Browne, Anca ^a   Chang, Eddie ^a   Colòn, Michael ^a   Kapur, Arjun ^a   Manna, Zohar ^a   Sipma, Henny B ^a   Uribe, Tomàs E ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED ANALYSIS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; TEMPORAL LOGIC;

ALGORITHMIC TECHNIQUES; ALGORITHMIC VERIFICATION; AUTOMATICALLY GENERATED; DECISION PROCEDURE; DEDUCTIVE METHODS; INFINITE STATE SYSTEMS; LINEAR TIME TEMPORAL LOGIC; STANFORD;

REAL TIME SYSTEMS;

EID: 84957370423     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_92     Document Type: Conference Paper

References (10)

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 1 st 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 verification diagrams. In I 5th Conference on the Foundations of Software Technology and Theoretical Computer Science (Dec. 1995), vol. 1026 of LNCS, 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-CSTR-94-1518, Computer Science Department, Stanford University, July 1994.
7. MANNA, Z., AND PNUELI, A. Temporal verification diagrams. In Proc. Int. Syrup. on Theoretical Aspects of Computer Software (1994), vol. 789 of LNCS, Springer- Verlag, pp. 726-765. 1994
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-CSTR- 96-1566, Department of Computer Science, Stanford University, Apr. 1996.
10. SIPMA, H., URIBE, T., AND MANNA, Z. Deductive model checking. In Proc. 8th Intl. Conference on Computer Aided Verification (July 1996), Springer-Verlag.