Property-specific sequential invariant extraction for SAT-based unbounded model checking Venue ICCAD Year 2011 Authors: Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang Huang
