Making your products more Reliable, Safe and Secure
Verification Futures 2011

The 2011 event was sponsored by TVS, Mentor Graphics, SpringSoft, Cadence, Jasper, Synopsys and Doulos