Topic outline

  • General

    Synthesis, Analysis, and Verification studies methods to construct reliable software systems. We cover topics such as verification, program analysis, automated theorem proving, program semantics, and automated software synthesis. For course home page please see http://lara.epfl.ch/w/sav