URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7647 Les jeux à la rescousse de la vérification fre 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é ! vérification programme sûreté système théorie des jeux LOMv1.0 atomic LOMv1.0 1 LOMv1.0 texte LOMv1.0 image LOMv1.0 ressource interactive LOMv1.0 final LOMv1.0 author BEGIN:VCARD VERSION:3.0 BEGIN:VCARD VERSION:3.0 N:Monmege;Benjamin;;; FN:Benjamin Monmege ORG:LIS AMU EMAIL;TYPE=INTERNET: END:VCARD 2023-09-07 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 BEGIN:VCARD VERSION:3.0 N:Inria / Interstices;;;; FN:Inria / Interstices URL: http://www.inria.fr EMAIL;TYPE=internet: ORG:Inria / Interstices EMAIL;TYPE=INTERNET: END:VCARD 2024-03-18 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7648 LOMv1.0 creator BEGIN:VCARD VERSION:3.0 BEGIN:VCARD N:François;Valérie FN:Valérie François EMAIL;TYPE=INTERNET:ies-ms@inria.fr ORG:Inria/IES N:;;;; FN: EMAIL;TYPE=INTERNET: ORG: END:VCARD 2015-05-22 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html https://interstices.info/les-jeux-a-la-rescousse-de-la-verification/ LOMv1.0 lecture LOMFRv1.0 démonstration LOMv1.0 learner LOMv1.0 higher education 18+ fre LOMv1.0 no LOMv1.0 yes 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 LOMv1.0 discipline 1306 1306 Génie logiciel : conception, qualité, documentation, maintenance LOMv1.0 discipline CDD 22e éd. 005.14 Génie Logiciel : Tests et mesure et qualité des logiciels