SAT-based unbounded symbolic model checking

by Hyeong-ju Kang, Student Member, In-cheol Park, Senior Member
Venue:in Proc. 40th Design Automat. Conf. Anaheim, CA: IEEE Computer Society