Verification: what works and what doesn't.

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev

Browse the full DAC paper archive.