Lectures on Runtime Verification | lit.salon