On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Browse the full APSEC paper archive.