Presentation on theme: "Scaling FV Up John O’Leary Principal Engineer Strategic CAD Labs 23 February 2010."— Presentation transcript:
Scaling FV Up John O’Leary Principal Engineer Strategic CAD Labs firstname.lastname@example.org 23 February 2010
Focus questions What is the role of verification in designing and building reliable systems? How can verification help in decomposing problems and composing solutions? What new ideas are needed to scale up the technology and dial down our ambition for verifying large systems? How do connect verification in the small and in the large?