The War on Error: Failure, Fun, and the Future

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.

Watch Next