Computerphile

Code Checking Automation (2017x5)

Air date: Jan 18, 2017

The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? Professor John Hughes shows us how a modern tool can automate the process of code checking.