Séance de cours

Hoare Logic: Postcondition la plus forte et précondition la plus faible

Description

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.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.