Gianpiero Cabodi, Sergio Nocco, Stefano Quer. Boosting the role of inductive invariants in model checking. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 1319-1324, ACM, 2007. [doi]
Abstract is missing.