Course code, if applicable:
University hosting the course: University of Rennes 1
Contact person: Sandrine Blazy, Sandrine.Blazy@irisa.fr
Concepts taught: deductive verification, pre and post-conditions, loop invariants, type invariants, ghost code
Tools used: Why3
Webpage: https://formations.univ-rennes1.fr/formation/programmation-de-confiance?studentstatus=112 (in French)
Year/level: 3
Course code, if applicable: University hosting the course: University of Rennes 1 Contact person: Sandrine Blazy, Sandrine.Blazy@irisa.fr Concepts taught: deductive verification, pre and post-conditions, loop invariants, type invariants, ghost code Tools used: Why3 Webpage: https://formations.univ-rennes1.fr/formation/programmation-de-confiance?studentstatus=112 (in French) Year/level: 3