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

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

Browse the full DATE paper archive.