This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
J.P. Burgess. Axioms for tense logic I. “since” and “until”. Notre Dame journal of Formal Logic, 23(4):367–374, October 1982.
L. de Alfaro and Z. Manna. Continuous verification by discrete reasoning. Technical Report STAN-CS-TR-94-1524, Stanford University, September 1994.
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.
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.
T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for timed transition systems. Inf. and Comp., 112(2):273–337, August 1994.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, (111):193–244, 1994.
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.
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.
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.
L. Lamport. The temporal logic of actions. Technical Report 79, DEC SRC, Palo Alto, CA, December 1991.
L. Lamport. Verification and specification of concurrent programs. Technical report, DEC SRC, Palo Alto, CA, 1993.
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.
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.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609–678, 1993.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Alfaro, L., Manna, Z. (1995). Verification in continuous time by discrete reasoning. In: Alagar, V.S., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1995. Lecture Notes in Computer Science, vol 936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60043-4_60
Download citation
DOI: https://doi.org/10.1007/3-540-60043-4_60
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60043-5
Online ISBN: 978-3-540-49410-2
eBook Packages: Springer Book Archive