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

Dong-Ah Lee Junbeom Yoo Jang-Soo Lee

Published in: SAFECOMP (2011)

Keyphrases

real time
databases
learning algorithm
artificial intelligence
website
model checking
turing machine