1. Bounded Model Checking
2. Cerrito, S., Mayer, M. C. & Prand, S. (1999). First order linear temporal logic over finite time structures. In H. Ganzinger, D. A. McAllester & A. Voronkov (Eds.),Logic Programming and Automated Reasoning, 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6–10, 1999, Proceedings(pp. 62–76). Berlin: Springer.
3. Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen (Ed.),Handbook of theoretical computer science, vol. B: Formal models and semantics(pp. 995–1072). Cambridge, MA: MIT Press.
4. Dynamic Logic