Can we really do without the support of formal methods in the verification of large designs?

Umberto Rossi

Browse the full DAC paper archive.