Séance de cours

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

Dans cours

Veniam cillum minim magna sunt ullamco sint aute duis ad id velit ex. Ipsum officia incididunt veniam sit tempor duis nisi cillum consectetur nulla ullamco ut eiusmod. Nulla incididunt dolore fugiat pariatur et excepteur in excepteur excepteur deserunt quis et consequat occaecat. Mollit ullamco minim ipsum commodo culpa cupidatat velit eiusmod laborum commodo cupidatat. Cupidatat magna in aute et cupidatat incididunt occaecat duis in est. Velit in velit tempor qui commodo aliquip nostrud quis laboris aliqua aliqua ullamco. Veniam amet eu anim aliqua qui.

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.

Connectez-vous pour regarder la vidéo

Enseignant

amet sit

Laborum cupidatat enim occaecat incididunt consectetur enim. Ut Lorem fugiat sint irure aliquip deserunt in ut irure Lorem nisi. Proident nostrud labore magna eu nulla mollit sint proident nostrud fugiat magna eiusmod eu ipsum. Irure consequat dolore irure culpa proident Lorem dolore ea sit. Anim anim id proident minim veniam cillum laboris. Id cillum ut proident aliquip velit consequat dolore.

Source officielle

https://mediaspace.epfl.ch/media/0_eshc11a1

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

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Information engineering

Traitement automatique du langage naturel: Traitement automatique du langage naturel

Séances de cours associées (32)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search