Resources
Panel
The Verification Challenge of Low-Level Embedded SoftwareParticipants:
- Per Bjesse (Synopsys), slides
- Sanjit A. Seshia (UC Berkeley)
- Jin Yang (Intel)
- Rafael Zalman (Infineon)
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]