Skip to main content
SpringerLink
Log in

Using temporal logic for prototyping: The design of a lift controller

  • Collected Papers
  • Conference paper
  • First Online:
Temporal Logic in Specification

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 398))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Barringer. Up and Down the Temporal Way. Technical Report UMCS-85-9-3, University of Manchester, Manchester, England, September 1985.

    Google Scholar 

  2. H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proceedings of the thirteenth ACM symposium on the principles of programming languages, St. Petersberg Beach, Florida, January 1986.

    Google Scholar 

  3. M. J. C. Gordon. HOL: A Proof Generating System for Higher Order Logic. Technical Report 103, Computer Laboratory, University of Cambridge, England, 1987.

    Google Scholar 

  4. R. W. S. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pages 91–119, Academic Press, London, 1987.

    Google Scholar 

  5. D. E. Knuth. The Art of Computer Programming: Volume 1. Addison-Wesley, London, 1969.

    Google Scholar 

  6. L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83, pages 657–668, North-Holland, Amsterdam, 1983.

    Google Scholar 

  7. B. C. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.

    Google Scholar 

  8. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency, Lecture Notes in Computer Science, number 224, Springer-Verlag, Berlin, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, Cambridge, England

    Roger Hale

Authors
  1. Roger Hale
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Banieqbal H. Barringer A. Pnueli

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hale, R. (1989). Using temporal logic for prototyping: The design of a lift controller. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds) Temporal Logic in Specification. Lecture Notes in Computer Science, vol 398. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51803-7_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-51803-7_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51803-7

  • Online ISBN: 978-3-540-46811-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation