Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.

Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer

Browse the full DATE paper archive.