Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Browse the full SAFECOMP paper archive.