Computerphile
Code Checking Automation
2017 • E5 Jan 18, 2017 10m
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.