A low level language for obtaining decision procedures for classes of temporal logics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)
KeywordsTemporal Logic State Expression Decision Procedure Propositional Variable Initial Node
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- 1.Campbell, R. and Habermann, A., The specification of process synchronization by path expressions, Lecture Notes in Computer Science, Springer-Verlag, Volume 16, 1974, pp. 89–102.Google Scholar
- 2.Harel, D, First-order Dynamic Logic, Springer-Verlag Lecture Notes, No. 68, 1979.Google Scholar
- 3.Manna, Z. and Wolper, P., Synthesis of communicating processes from temporal logic specifications, 253–281 in Proceedings of the Workshop on Logics of Programs, 1981.Google Scholar
- 4.Moszkowski, B., A temporal logic for multi-level reasoning about hardware, Technical Report STAN-CS-82-952, Computer Science Department, Stanford University, 1982.Google Scholar
- 5.Plaisted, D., A decision procedure for combinations of propositional temporal logic and other specialized theories, SRI International unpublished report, March, 1983.Google Scholar
- 6.Pratt, V., Semantical considerations on Floyd-Hoare logic, Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science (1976)109–121.Google Scholar
- 7.Schwartz, R., Melliar-Smith, P. M., and Vogt, F., An interval logic for higher level temporal reasoning: language definition and examples, Computer Science Laboratory, SRI International Tech. Report CSL-138, 1983.Google Scholar
© Springer-Verlag Berlin Heidelberg 1984