FMCAD 2009
Formal Methods in Computer Aided Design
Austin, Texas, USA
November 15 - 18


E. Allen Emerson, University of Texas at Austin.
Formal Methods: From Start to Limit.

John D. Barton, Intel.
Post Silicon Validation/Verification Practices in the PC Industry.


Nikolaj Bjørner, Microsoft.
Bit-Precise Constraints: Applications and Decision Procedures.

Moshe Y. Vardi, Rice University.
Formal Techniques for System-Level Verification.

Industrial Experience Reports

Michael Theobald, D.E. Shaw Research.
Formal Verification Challenges of a Supercomputer-Class Machine
Designed for Molecular Dynamics.

John Penix, Google.
Challenges and Opportunities in
Deploying Enterprise-Wide Program Analysis Tools

Jörg Bormann.
Complete Functional Verification.