Geeyoung Park

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram

Junbeom Yoo, Sung Deok Cha, Poong-Hyun Seong, 2010, J. Res. Pract. Inf. Technol..

Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증

전승재, Seung-Jae Jeon, Eunkyoung Jee, 2007 .