LARA This is an old revision of the document! EPFL Course: Formal Verification, CS-550 The 2021 onwards page: https://gitlab.epfl.ch/lara/cs550/ Old pages: Formal Verification 2020, Formal Verification 2019