Safety Property Verification Using Sequential SAT and Bounded Model Checking.

Ganapathy Parthasarathy Madhu K. Iyer Kwang-Ting Cheng Li-C. Wang Safety Property Verification Using Sequential SAT and Bounded Model Checking. 132-143 2004 21 IEEE Design & Test of Computers 2 http://csdl.computer.org/comp/mags/dt/2004/02/d2132abs.htm db/journals/dt/dt21.html#ParthasarathyICW04