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

안전 필수 시스템의 정형기법 적용 - 원자력 시스템과 철도 제어 시스템 사례연구

Edmund M. Clarke, Jeannette M. Wing, "Formal methods: state of the art and future directions", ACM Computing Surveys(CSUR), 1996.
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.
Kaufmann, Matt, J. Strother Moore, and Panagiotis Manolios. Computer-aided reasoning: an approach. Kluwer Academic Publishers, 2000.
Jim Woodcock, "Using Z : specification, refinement and proof", Prentice Hall, Englewood Cliffs, 1996.
The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge,MA.
David Harel, "Statecharts: A Visual formalism for Complex Systems", Science of Computer Programming. Vol. 8, issue 3, pp. 231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading,MA.
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).
David Harel and Ammon Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. Soft. Eng. Method, Oct. 1996.