LARA This is an old revision of the document! EPFL Course: Formal Verification, CS-550 Formal Verification 2019