Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Technical Report

Temporal Logic Case Study

  • August 1989
  • By William G. Wood
  • This report is a case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-89-TR-024
  • Abstract

    This report is a case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. The goal of the study was to understand the application of temporal logic in a problem domain that is appropriate for the method, and to determine some of the strengths and weaknesses of temporal logic in this domain. The case study uses a finite state machine language to build a model of the system specification, and verifies that the temporal logic specifications are consistent using this model. The specification aspires to be complete, consistent, and unambiguous.

  • Download

Cite This Report

SEI

Wood, William. Temporal Logic Case Study. CMU/SEI-89-TR-024 . Software Engineering Institute, Carnegie Mellon University. 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

IEEE

Wood. William, "Temporal Logic Case Study," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-89-TR-024 , 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

APA

Wood, William. (1989). Temporal Logic Case Study (CMU/SEI-89-TR-024 ). Retrieved April 23, 2019, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

CHI

William Wood. Temporal Logic Case Study (CMU/SEI-89-TR-024 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

MLA

Wood, William. 1989. Temporal Logic Case Study (Technical Report CMU/SEI-89-TR-024 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

BibTex

@techreport{WoodTemporalLogic1989,
title={Temporal Logic Case Study},
author={William Wood},
year={1989},
number={CMU/SEI-89-TR-024 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999} }