Les jeux à la rescousse de la vérification - MOVE Modélisation et Vérification - LIS Laboratoire d'Informatique et Systèmes de Marseille (UMR 7020) Access content directly
Journal Articles Interstices Year : 2023

Les jeux à la rescousse de la vérification

Benjamin Monmege

Abstract

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é !
Fichier principal
Vignette du fichier
Les jeux à la rescousse de la vérification - Interstices - Interstices.pdf (700.95 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
licence : CC BY SA - Attribution - ShareAlike

Dates and versions

hal-04230642 , version 1 (14-03-2024)

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

  • HAL Id : hal-04230642 , version 1

Cite

Benjamin Monmege. Les jeux à la rescousse de la vérification. Interstices, 2023. ⟨hal-04230642⟩
75 View
4 Download

Share

Gmail Facebook X LinkedIn More