Property-specific sequential invariant extraction for SAT-based unbounded model checking

Authors: Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang Huang