118
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...