Séance de cours
Vérification automatique des exercices de programmation
Description
Cette séance de cours introduit un cadre pour la vérification automatique des exercices de programmation, couvrant des sujets tels que le traitement axiomatique, la représentation par modèle des programmes, les questions de mise en oeuvre et les travaux futurs. Il traite de l'utilisation des contre-exemples, des triples Hoare et des classes spécifiques de programmes en boucle.
Source officielle
À 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
Séances de cours associées (29)
Programmes de vérification avec l'inox: Partie 2
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Compilateur de vérification: Approche Spec#
Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.
Boucles de python : nombres limites Somme
Couvre les boucles Python pour calculer la somme des premiers nombres impairs n.
Dispositifs semi-conducteurs II: Défauts d'ingénierie
Couvre l'analyse des mesures et des défauts techniques dans les dispositifs à semi-conducteurs, y compris la densité des états et l'étude des défauts.
Correspondance logicielle: Test et vérification
Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.