Large-scale application of formal verification: From fiction to fact.

Viresh Paruthi

Browse the full FMCAD paper archive.