Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang. Property-specific sequential invariant extraction for SAT-based unbounded model checking. In 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, California, USA, November 7-10, 2011. pages 674-678, IEEE, 2011. [doi]
Abstract is missing.