The modular framework of computer-aided verification

  • Gil Shurek
  • Orna Grumberg
III. Reduction In Finite State Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 531)


  1. [AL89]
    M. Abadi and L. Lamport, "Composing Specifications", REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, May 1989.Google Scholar
  2. [CE81]
    E.M. Clarke, and E.A. Emerson, "Synthesis of Synchronization Skeletons for Branching Time Temporal Logic", Proc. of Workshop on Logic of Programs, Yorktown-Heights, 1981.Google Scholar
  3. [CES86]
    E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications", ACM Transactions on Programming Languages and Systems 8, 2, pp. 244–263, 1986.Google Scholar
  4. [CG87]
    E.M. Clarke, O. Grumberg, "Research on automatic verification of finite-state concurrent systems", Annual Reviews of Computer Science, Vol. 2, 269–290, 1987 (J.F. Traub, editor).Google Scholar
  5. [CLM89]
    E.M. Clarke, D.E. Long, and K.L. McMillan, "Compositional Model Checker". Proc. of the 4th IEEE Symp. on Logic in Computer Science, Asilomar, June 1989.Google Scholar
  6. [EL85]
    E.A. Emerson, and C. Lei, "Modalities for Model Checking: Branching Time Strikes Back", 12th Symposium on Principles of Programming Languages, New Orleans, La., January 1985.Google Scholar
  7. [HC77]
    G.E. Hughes, and M.J. Creswell, "An introduction to Modal Logic", London: Methuen, 1977.Google Scholar
  8. [J87]
    B. Josko, "MCTL — An Extension of CTL for Modular Verification of Concurrent Systems". Workshop on Temporal Logic, (H. Barringer, ed.) University of Manchester, April 1987, LNCS 398, pp. 165–187.Google Scholar
  9. [L89]
    D.E. Long, Private communication.Google Scholar
  10. [M80]
    R. Milner, A Calculus of Communicating Systems, Springer Lecture Notes on Computer Science, Vol. 92, 1980.Google Scholar
  11. [P85]
    A. Pneuli, "In Transition from Global to Modular Temporal Reasoning about Programs". Logics and Models of Concurrent Systems, (K. Apt, ed.), Vol. 13 of NATO ASI Series F: Computer and System Sciences, Springer-Verlag, 123–144, 1985.Google Scholar
  12. [SG90]
    G. Shurek and O. Grumberg, "THE MODULAR FRAMEWORK OF COMPUTER-AIDED VERIFICATION Motivation, Solutions, and Evaluation Criteria", Workshop on Computer-Aided Verification, Rutgers, NJ., June 1990, to appear in ACM/AMS DIMACS series.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Gil Shurek
    • 1
  • Orna Grumberg
    • 1
  1. 1.Computer Science DepartmentThe TechnionHaifaIsrael

Personalised recommendations