Oski Technology Inc.

CAV 2011, July 14-20, Snowbird, UT


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 talk, hosted by Ken McMillan of Microsoft Research

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.

This entry was posted in Events, Featured, Latest News and tagged , , , , , , . Bookmark the permalink.

Comments are closed.