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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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 May 03, 2015, 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} }