https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/