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