Episodes
Xavier Leroy
Collège de France
Science du logiciel
Année 2020-2021
Logiques de programmes : quand la machine raisonne sur ses logiciels
Le deuxième cours a été consacré à l'étude approfondie des « logiques de Hoare », c'est-à-dire des logiques de programmes qui suivent l'approche introduite par C. A. R. Hoare en 1969. Nous avons défini une telle logique de programmes pour le langage IMP, un petit langage impératif à contrôle structuré que nous avions déjà étudié dans le cours 2019-2020 «...
Published 03/11/21
Xavier Leroy
Collège de France
Science du logiciel
Année 2020-2021
Logiques de programmes : quand la machine raisonne sur ses logiciels
Le deuxième cours a été consacré à l'étude approfondie des « logiques de Hoare », c'est-à-dire des logiques de programmes qui suivent l'approche introduite par C. A. R. Hoare en 1969. Nous avons défini une telle logique de programmes pour le langage IMP, un petit langage impératif à contrôle structuré que nous avions déjà étudié dans le cours 2019-2020 «...
Published 03/11/21
Xavier Leroy
Collège de France
Science du logiciel
Année 2020-2021
Logiques de programmes : quand la machine raisonne sur ses logiciels
Résumé
Comment s'assurer qu'un logiciel fait ce qu'il est censé faire ? Les méthodes classiques de vérification et de validation du logiciel, reposant sur le test, les revues et les analyses, ne suffisent pas toujours. La vérification déductive permet d'aller plus loin en établissant des propriétés vraies de toutes les exécutions possibles d'un programme,...
Published 03/04/21
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/26/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/26/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/26/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/13/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/13/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/13/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/12/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/12/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/12/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/06/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/06/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/06/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/05/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/05/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 02/05/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/18/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/18/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/18/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/15/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/15/20
Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Published 01/15/20