Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente la logique Hoare, en se concentrant sur les concepts de postcondition la plus forte et la condition préalable la plus faible. Il couvre les définitions de Hoare triple, postcondition la plus forte, et la condition préalable la plus faible, ainsi que des exemples et des preuves. L'instructeur explique comment utiliser la logique Hoare pour simplifier les preuves sur le comportement impératif du programme.