Ressource pédagogique : Les jeux à la rescousse de la vérification
Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouve...
cours / présentation, démonstration - Date de création : 07-09-2023
Présentation de: Les jeux à la rescousse de la vérification
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource pédagogique
Description (résumé)
Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouver de manière rigoureuse que les programmes vont s?exécuter correctement. Encore mieux, on utilise désormais la théorie des jeux pour produire automatiquement des programmes corrects, à la manière de l?écriture d?un joueur artificiel dans un jeu de société !
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- Génie Logiciel : Tests et mesure et qualité des logiciels (005.14)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée :
Editeur(s)
-
Inria / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Benjamin Monmege
LIS AMU
ÉDITION
Inria / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7647 -
Identifiant
unit-ori-wf-1-7647 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
18-03-2024
