Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes | IEEE Conference Publication | IEEE Xplore