Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs | IEEE Conference Publication | IEEE Xplore