FMCAD 2010
Formal Methods in Computer Aided Design
Lugano, Switzerland
October 20 - 23

Resources

Panel

The Verification Challenge of Low-Level Embedded Software
Participants:

Invited Speakers

Joseph Sifakis (CNRS/Verimag, Schneider-INRIA Endowed Researcher Chair) - Embedded Systems Design Scientific Challenges and Work Directions. [abstract] [video]

Viresh Paruthi (IBM Austin) - Large-scale Formal Application: From Fiction to Fact [abstract]

Tutorials

Sumit Gulwani (Microsoft) - Dimensions in Program Synthesis. [abstract] [slides] [video]

Ken McMillan (Cadence) - Invariant Generation. [abstract] [video]

Warren Hunt (UT Austin) - Verification of the VIA (Centaur) Nano Microprocessor using the ACL2 Theorem-Proving System. [abstract] [video]

Jin Yang (Intel) - Post Silicon Verification [abstract]