Séance de cours

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

Description

Cette séance de cours couvre la logique Hoare, qui permet d'insérer des annotations dans le code pour simplifier les preuves sur le comportement du programme. Les sujets abordés comprennent les relations informatiques, les ravages, les choix non déterministes, le commandement et la traduction des programmes en relations.

À 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.