The War on Error: Failure, Fun, and the Future
583 views · Published 22 June 2012 · 26:16 · Indexed 12 November 2026
Channel: Microsoft Research · 2012 · Science & Technology
This panel of researchers from Microsoft Research Cambridge discusses the field of software verification, looking back at its history, the latest successes and what challenges the future holds. Learn more http://research.microsoft.com/en-us/um/redmond/events/20anniversary/Lectures.aspx
