Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.

Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer

Browse the full FMCAD paper archive.