This repository contains course notes, exercises, models and projects from two courses given as part of master’s level training on modelling and verifying distributed algorithms.