Temporal Logic Case Study
• Technical 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 Technical Report
Wood, W. (1989, August 1). Temporal Logic Case Study. (Technical Report CMU/SEI-89-TR-024). Retrieved December 22, 2024, from https://insights.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://insights.sei.cmu.edu/library/temporal-logic-case-study/},
note={Accessed: 2024-Dec-22}
}
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://insights.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, Technical Report CMU/SEI-89-TR-024, 1-Aug-1989 [Online]. Available: https://insights.sei.cmu.edu/library/temporal-logic-case-study/. [Accessed: 22-Dec-2024].
Wood, William. "Temporal Logic Case Study." (Technical Report CMU/SEI-89-TR-024). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Aug. 1989. https://insights.sei.cmu.edu/library/temporal-logic-case-study/. Accessed 22 Dec. 2024.
Wood, William. Temporal Logic Case Study. CMU/SEI-89-TR-024. Software Engineering Institute. 1989. https://insights.sei.cmu.edu/library/temporal-logic-case-study/