Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers vectorisation, functions, and flow control in Matlab, emphasizing the importance of avoiding global variables and providing examples of simple plots and debugging techniques.