The technical paper presentation from the Verification conference DVCon 2012 are now available online at the DVCon web-site. You can them listed here below.
Use the BACKSPACE key to return to the main menu after drilling down into any of the sessions.
Pop-ups must be enabled to view any of the papers or slides.