Boosting the role of inductive invariants in model checking.

Gianpiero Cabodi, Sergio Nocco, Stefano Quer

Browse the full DATE paper archive.