A Formal Verification Method of Function Block Diagram
Kwang Yong Koh, Poong-Hyun Seong, Eun Kyoung Jee, Seung Jae Jeon, Gee Yong Park, Kee-Choon Kwon · 2007
1 Department of Nuclear and Quantum Engineering, KAIST 2 Division of Computer Science, Department of Electrical Engineering and Computer Science, KAIST 373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701, Korea 3 Korea Atomic Energy Research Institute 150 Deokjin-dong Yuseong-gu, Daejeon, 305-353, Korea [email protected], [email protected], [email protected], [email protected], [email protected], [email protected]