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

作者：Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang Huang