Chapitre D'ouvrage Année : 2025

Déboguage, vérification et certification de code

Résumé

Tous les utilisateurs d'outils informatiques ont déjà eu affaire à des « bugs » : des dysfonctionnements plus ou moins graves, souvent agaçants, parfois avec des conséquences importantes (vol de données, interception de communications, pertes d'engins spatiaux…). Nous avons pris l'habitude d'en parler comme d'une fatalité, mais ils sont liés à de profondes questions scientifiques.
Fichier principal
Vignette du fichier
231027_MONNIAUX_V4_RELU.pdf (722) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04935578 , version 1 (13-02-2025)

Identifiants

  • HAL Id : hal-04935578 , version 1

Citer

David Monniaux. Déboguage, vérification et certification de code. Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS Éditions, 2025, 978-2-271-15373-9. ⟨hal-04935578⟩
0 Consultations
0 Téléchargements

Partager

More