Advertisement

Model checking and efficient automation of temporal reasoning

  • E. Allen Emerson
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 962)

References

  1. [CE81]
    Clarke, E. M., and Emerson, E. A., Design and Verification of Synchronization Skeletons using Branching Time Temporal Logic, Logics of Programs Workshop 1981, Springer LNCS no. 131.Google Scholar
  2. [CFJ93]
    Clarke, E. M., Filkorn, T., Jha, S. Exploiting Symmetry in Temporal Logic Model Checking, 5th International Conference on Computer Aided Verification, Crete, Greece, June 1993; journal version to appear in Formal Methods in System Design.Google Scholar
  3. [EES90]
    Emerson, E. A., Evangelist, M., and Srinivasan, J., On the Limits of Efficient Temporal Satisfiability, 5th IEEE Symp. on Logic in Computer Science (LICS), Philadelphia, pp. 464–475, 1990.Google Scholar
  4. [ESS92]
    Emerson, E. A., Sadler, T. H., and Srinivasan, J., Efficient Temporal Satisfiability, Journal of Logic and Computation, vol. 2, no. 2, pp. 173–210, 1992.Google Scholar
  5. [ES93]
    Emerson, E. A., and Sistla, A. P., Symmetry and Model Checking, 5th International Conference on Computer Aided Verification, Crete, Greece, June 1993; journal version to appear in Formal Methods in System Design.Google Scholar
  6. [ES95]
    Emerson, E. A., and Sistla, A. P., Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach, to appear in 7th International Conference on Computer Aided Verification, Liege, Belgium, Springer LNCS, July 1995.Google Scholar
  7. [ID93]
    Ip, C-W. N., Dill, D. L., Better Verification through Symmetry, Computer Hardware Description Language Conference, April 1993; journal version to appear in Formal Methods in Systems Design.Google Scholar
  8. [Je94]
    Jensen, K., Colored Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, vol. 2: Analysis Methods, EATCS Monographs, Springer-Verlag, 1994.Google Scholar
  9. [Ku94]
    Kurshan, R. P., Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University Press, Princeton, New Jersey 1994.Google Scholar
  10. [Pn77]
    Pnueli, A., The Temporal Logic of Programs, 17th IEEE Symp. on Foundations of Computer Science (FOCS), October, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • E. Allen Emerson
    • 1
  1. 1.University of Texas at AustinAustinUSA

Personalised recommendations