Lectures related to Outlier Analysis

Explores the Red bus/Blue bus paradox, nested logit models, and multivariate extreme value models in transportation.

Software Correctness: Testing and Verification

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

What is Formal Verification?

Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.