Program verification with F*

Course at EPIT 2018 Software Verification Spring School in Aussois, France on 8 May, 2018

Teaching team: Cătălin Hriţcu, Antoine Delignat-Lavaud, Danel Ahman, and Victor Dumitrescu

Schedule and Materials

Tuesday, 8 May, 2018:

Code

Setup

More references