Computer aided simulation and verification of forward error-correcting biosensors | IEEE Conference Publication | IEEE Xplore