Advertisement

Verification in continuous time by discrete reasoning

  • Luca de Alfaro
  • Zohar Manna
Refereed Contributions Concurrent and Reactive Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 936)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. In Proc. 10th ACM Symp. Princ. of Dist. Comp., pages 139–152, 1991.Google Scholar
  2. 2.
    R. Alur and T.A. Henzinger. Logics and models of real time: a survey. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 74–106. Springer-Verlag, 1992.Google Scholar
  3. 3.
    J.P. Burgess. Axioms for tense logic I. “since” and “until”. Notre Dame journal of Formal Logic, 23(4):367–374, October 1982.Google Scholar
  4. 4.
    L. de Alfaro and Z. Manna. Continuous verification by discrete reasoning. Technical Report STAN-CS-TR-94-1524, Stanford University, September 1994.Google Scholar
  5. 5.
    J.W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 5. D. Reidel Publishing Company, 1984.Google Scholar
  6. 6.
    T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In W. Kuich, editor, Proc. 19th Int. Colloq. Aut. Lang. Prog., volume 623 of Lect. Notes in Comp. Sci., pages 545–558. Springer-Verlag, 1992.Google Scholar
  7. 7.
    T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for timed transition systems. Inf. and Comp., 112(2):273–337, August 1994.Google Scholar
  8. 8.
    T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, (111):193–244, 1994.Google Scholar
  9. 9.
    Y. Kesten, Z. Manna, H. McGuire, and A. Pnueli. A decision algorithm for full propositional temporal logic. In Computer Aided Verification, 5th International Workshop, Lect. Notes in Comp. Sci. Springer-Verlag, 1993.Google Scholar
  10. 10.
    Y. Kesten, Z. Manna, and A. Pnueli. Temporal verification of simulation and refinement. In Proc. of the REX Workshop ”A Decade of Concurrency”, volume 803 of Lect. Notes in Comp. Sci., pages 273–346. Springer-Verlag, 1994.Google Scholar
  11. 11.
    L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657–668. Elsevier Science Publishers (North-Holland), 1983.Google Scholar
  12. 12.
    L. Lamport. The temporal logic of actions. Technical Report 79, DEC SRC, Palo Alto, CA, December 1991.Google Scholar
  13. 13.
    L. Lamport. Verification and specification of concurrent programs. Technical report, DEC SRC, Palo Alto, CA, 1993.Google Scholar
  14. 14.
    O. Lichtenstein, A. Pnueli, and L. Zuck. The glory of the past. In Proc. Conf. Logics of Programs, volume 193 of Lect. Notes in Comp. Sci., pages 196–218. Springer-Verlag, 1985.Google Scholar
  15. 15.
    O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proc. of the REX Workshop “Real-Time: Theory in Practice”, volume 600 of Lect. Notes in Comp. Sci., pages 447–484. Springer-Verlag, 1992.Google Scholar
  16. 16.
    Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.Google Scholar
  17. 17.
    Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609–678, 1993.Google Scholar
  18. 18.
    A. Pnueli. Development of hybrid systems. In Proceedings of the Third International Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, volume 863 of Lect. Notes in Comp. Sci., 1994. Extended abstract.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Luca de Alfaro
    • 1
  • Zohar Manna
    • 1
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA

Personalised recommendations