참고문헌
- M.G Hinchey and J.P. Bowen(eds.), Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995
- Zohar Manna and Amir Pnueli, The temporal logic of reactive and concurrent systems - Specifications, Springer-Verlag, 1992
- D. Harel, 'On Visual Formalisms,' Communications of ACM, pp.514-530, May 1988 https://doi.org/10.1145/42411.42414
- J. Peterson, Petri-net theory and the modeling of systems, Prentice Hall, 1985
- C. A. R. Hoare, Communicating sequential processes, Prentice Hall, 1985
- A. Emerson, 'Temporal and Model Logic,' Handbook of Theoretical Computer Science, Chap 16, edited by J. Van Leeuwen, Elesevier Science Publishers, 1990
- J. Bohn, W. Damn, O. Grumberg, H. Hungar, K. Laster, 'First-Order-CTL model checking,' FSTTCS98, LNCS 1530, 1998
- Rajeev Alur and Thomas A. Henzinger, 'A Really Temporal Logic,' The Journal of ACM, Vol 41, pp. 181-204, 1994 https://doi.org/10.1145/174644.174651
- C. A. R. Hoare, 'An Axiomatic basis for computer programming,' Communications of ACM, vol. 13, no. 10, Oct. 1969 https://doi.org/10.1145/363235.363259
- A . Pnueli, 'The temporal logic of programs,' In Proc. 18th IEEE Symposium on Foundation of Computer Science, 1977
- Laura K. Dillon and Y. S. Ramakrishna, 'Generating Oracles from Your Favorite Temporal Logic Specifications,' Proc. 4th ACM SIGSOFT Symp. Foundations of Software Engineering, San Francisco, pp. 106-117, October 1996 https://doi.org/10.1145/239098.239116
- R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper, 'Simple On-The-Fly Automatic Verification of Linear Temporal Logic,' Pro. of Symposium on Protocol Specification, Testing, and Verification(PSTV95), pp. 3-18, June 1995
- L. Lamport, 'Proving the correctness of Multi Process Programs,' IEEE Transactions on Software Engineering, vol. 3, no. 2, Nov. 1977 https://doi.org/10.1109/TSE.1977.229904
- B. Alpern and F. B. Schneider, 'Defining liveness,' Information Processing Letters, vol. 21, pp. 181-185, 1985 https://doi.org/10.1016/0020-0190(85)90056-0
- A. P. Sistla, 'Safety, liveness and fairness in temporal logic,' Formal Aspect of Computing, vol. 6, pp. 495-511, 1994 https://doi.org/10.1007/BF01211865
- 'SEC DTV 소프트웨어의 통합 테스팅 자동화 도구개발, 연구결과 보고서', 한국과학기술원 전자전산학과 소프트웨어 공학연구실, 2000
- L. C. Paulson, ML for the Working Programmer, Cambridge University Press, 1996
- Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee and Oleg Sokolsky, 'Formally Specified Monitoring of Temporal Properties', Proc. of European Conference on Real-Time Systems, York. UK, June 9-11, 1999 https://doi.org/10.1109/EMRTS.1999.777457
- Java Platform Debugger Architecture, http://java.sun.com/j2se/1.3/docs/guide/jpda/index.html