Temporal Logic Case Study
• SEI Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-89-TR-024Abstract
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.
Cite This SEI Report
Wood, W. (1989, August 1). Temporal Logic Case Study. (SEI Report CMU/SEI-89-TR-024). Retrieved May 11, 2026, from https://www.sei.cmu.edu/library/temporal-logic-case-study/.
@techreport{wood_1989,
author={Wood, William},
title={Temporal Logic Case Study},
month={{Aug},
year={{1989},
number={{CMU/SEI-89-TR-024},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://www.sei.cmu.edu/library/temporal-logic-case-study/},
note={Accessed: 2026-May-11}
}
Wood, William. "Temporal Logic Case Study." (CMU/SEI-89-TR-024). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, August 1, 1989. https://www.sei.cmu.edu/library/temporal-logic-case-study/.
W. Wood, "Temporal Logic Case Study," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, SEI Report CMU/SEI-89-TR-024, 1-Aug-1989 [Online]. Available: https://www.sei.cmu.edu/library/temporal-logic-case-study/. [Accessed: 11-May-2026].
Wood, William. "Temporal Logic Case Study." (SEI Report CMU/SEI-89-TR-024). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Aug. 1989. https://www.sei.cmu.edu/library/temporal-logic-case-study/. Accessed 11 May. 2026.
Wood, William. Temporal Logic Case Study. CMU/SEI-89-TR-024. Software Engineering Institute. 1989. https://www.sei.cmu.edu/library/temporal-logic-case-study/