A dynamic constraint-based BMC strategy for generating counterexamples.

Hlne Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen

Browse the full SAC paper archive.