Rechercher une ressource pédagogique : méthodes formelles

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

4 résultats
section 1 sur 1
résultats 1 à 4
UNIT
UNIT
21.09.2012
Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
  • Coq
  • assistant de preuve
  • programmation fonctionnelle sûre
  • preuve de programme
  • logique mathématique
  • méthode formelle
  • calcul des constructions
  • correction de logiciel
  • algorithmique certifiée
  • théorie des types
  • logiciel libre
  • récursion
  • fuscia
UNIT
UNIT
08.01.2007
Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
  • méthode formelle
  • théorème des quatre couleurs
  • coloration de graphe
  • conjoncture de Kepler
  • Coq
  • fuscia
Canal-U
Canal-U
07.02.2014
Description : Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont i ...
  • réseaux de télécommunication
  • méthodes formelles
  • diagnostic panne
Canal-U
Canal-U
16.06.2009
Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
  • bug
  • algorithmique
  • arithmétique flottante
  • calcul informatique
  • méthode formelle
  • nombre à virgule flottante
  • preuve de programme
  • vérification de logiciel