This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
15.7 Bibliographical Notes
N. Børner, Z. Manna, H. Sipma et al.: The Stanford Temporal Prover. In: Internet (Published: http://www-step.stanford.edu/, 1994–2005)
B. Dutertre: Complete Proof System for First-Order Interval Temporal Logic. In: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (IEEE CS, 1995) pp 36–43
G.J. Holzmann: The SPIN Model Checker, Primer and Reference Manual (Addison-Wesley, Mass., 2003)
L. Lamport: The Temporal Logic of Actions. Transactions on Programming Languages and Systems 16,3 (1995) pp 872–923
L. Lamport: Specifying Systems (Addison-Wesley, Mass., USA 2002)
Z. Manna, A. Anuchitanukul, N.S. Bjørner et al.: STeP: The Stanford Temporal Prover. Technical Report, STAN-CS-TR-94-1518, Computer Science Department, Stanford University, CA, USA (1994)
Z. Manna, A. Pnueli: The Temporal Logic of Reactive Systems: Specifications (Addison-Wesley, 1991)
Z. Manna, A. Pnueli: The Temporal Logic of Reactive Systems: Safety (Addison-Wesley, 1995)
Z. Manna, A. Pnueli: Temporal Verification of Reactive Systems: Progress. In: Internet (Published: http://theory.stanford.edu/~zm/tvors3.html, 1996)
S. Merz: On the Logic of TLA+. Computing and Informatics 22,1–2 (2003)
B.C. Moszkowski: Executing Temporal Logic Programs (Cambridge University Press, UK 1986)
B.C. Moszkowski: A Complete Axiomatization of Interval Temporal Logic with Infinite Time. In: LICS’00: 15th Annual IEEE Symposium on Logic in Computer Science (IEEE Press, CA, USA 2000) p 241
T. Nipkow, L.C. Paulson, M. Wenzel: Isabelle/HOL, A Proof Assistant for Higher-Order Logic, vol 2283 of LNCS (Springer, Heidelberg, Germany, 2002)
S. Owre, N. Shankar, J.M. Rushby, D.W.J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, CA, 1999.
S. Owre, N. Shankar, J.M. Rushby, D.W.J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, CA, 1999.
A. Pnueli: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science (IEEE CS, 1977) pp 46–57
N. Shankar, S. Owre, J.M. Rushby. PVS Tutorial. Computer Science Laboratory, SRI International, Menlo Park, CA, 1993.
N. Shankar, S. Owre, J.M. Rushby, D.W.J. Stringer-Calvert. PVS Prover Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
C.C. Zhou, M.R. Hansen: Duration Calculus: A Formal Approach to Real-Time Systems (Springer, 2004)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Quantitative Models of Time. In: Software Engineering 2. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33193-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-33193-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21150-1
Online ISBN: 978-3-540-33193-3
eBook Packages: Computer ScienceComputer Science (R0)