5 résultats : méthodes formelles

Recherche en cours

Par mots-clef = méthodes formelles

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

5 résultats

page 1 sur 1

résultats 1 à 5

Preuves de programmes en coq

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

Mots clés : 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

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Pourquoi mon ordinateur calcule faux?

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

Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel

Date : 16-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Pourquoi mon ordinateur calcule faux?

Ajouter à mon panier

Accéder aux documents

Les nombres et l'ordinateur

Description : Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une ar ...

Mots clés : calcul informatique, preuve de programme, analyse numérique, arithmétique virgule flottante, erreur de calcul, méthodes formelles

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Les nombres et l'ordinateur

Ajouter à mon panier

Accéder aux documents

Révèle tes défauts (série Unithé ou café)

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

Mots clés : réseaux de télécommunication, méthodes formelles, diagnostic panne

Date : 07-02-2014

Révèle tes défauts (série Unithé ou café)

Ajouter à mon panier

Accéder aux documents

Preuves formelles, preuves calculatoires

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.

Mots clés : méthode formelle, théorème des quatre couleurs, coloration de graphe, conjoncture de Kepler, Coq, fuscia

Date : 08-01-2007

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Preuves formelles, preuves calculatoires

Ajouter à mon panier

Accéder au document

Rebondir