Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip | IEEE Conference Publication | IEEE Xplore