FBDverifier: Interactive and visual analysis of counterexample in formal verification of function block diagram

Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park, Poonghyun Seong

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)

Fingerprint

Dive into the research topics of 'FBDverifier: Interactive and visual analysis of counterexample in formal verification of function block diagram'. Together they form a unique fingerprint.

Business & Economics

Engineering & Materials Science