T&VS presented their paper on “Verification Benchmarking” at DVCon 2012, San Jose, US. This post gives you access to the paper and the presentation