Oski Presents Invited Talk at CAV 2011
Oski’s Vigyan Singhal gave an invited talk to the formal verification research audience at CAV 2011 (July 14-20, Snowbird, UT), the 23rd Conference on Computer-Aided Verification, and the premier research conference on the theory and practice of computer-aided methods for the formal verification of hardware and software systems.
Shaz Qadeer asks a question at Vigyan's CAV talk, hosted by Ken McMillan of Microsoft Research
Date & Time: July 18, Monday 11:00-12:00
Session 3 Invited talk: Vigyan Singhal
Title: Deploying Formal in a Simulation World
Vigyan’s presentation described how formal verification can be deployed using simulation-based coverage in a simulation-based verification schedule. The audience consisted of leading researchers from the academia and the industry.
Visit Oski Technology at www.oskitech.com.