Browse > Article

Formal Methods for Safety Critical System-Case studies on Nuclear System and Train Control system  

Lee, Hyuk (고려대학교)
Shin, Jee-Hoon (고려대학교)
Ahn, So-Jin (고려대학교)
Lee, Jean-Ho (고려대학교)
Choi, Jin-Young (고려대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.31, no.5, 2013 , pp. 46-55 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 Clarke, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal lock. In Logic of Programs: Workshop,(Yorktown Heights, NY), Vol. 131 of Lecture Notes in Computer Science, Springer-Verlag.
2 Kaufmann, Matt, J. Strother Moore, and Panagiotis Manolios. Computer-aided reasoning: an approach. Kluwer Academic Publishers, 2000.
3 Jim Woodcock, "Using Z : specification, refinement and proof", Prentice Hall, Englewood Cliffs, 1996.
4 The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge,MA.
5 David Harel, "Statecharts: A Visual formalism for Complex Systems", Science of Computer Programming. Vol. 8, issue 3, pp. 231-274, 1987   DOI
6 The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading,MA.
7 Behrmann, Gerd, Alexandre David, and Kim G. Larsen. "A Tutorial on Uppaal 4.0", vol. http://www. it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf(2006).
8 David Harel and Ammon Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. Soft. Eng. Method, Oct. 1996.
9 Edmund M. Clarke, Jeannette M. Wing, "Formal methods: state of the art and future directions", ACM Computing Surveys(CSUR), 1996.