Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowNan WuUniversity of California, Santa BarbaraChair of SessionsResearch ManuscriptVerified Visions: New Frontiers in Formal AssuranceEDADesign Verification and Validation