Speeding up model checking by exploiting explicit and hidden verification constraints.

Gianpiero Cabodi Paolo Camurati Luz Garcia Marco Murciano Sergio Nocco Stefano Quer Speeding up model checking by exploiting explicit and hidden verification constraints. 1686-1691 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090934&count=326&index=320 conf/date/2009 db/conf/date/date2009.html#CabodiCGMNQ09