SÉMANTIQUE FORMELLE, programmation informatique

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 691 mots

Dans le chapitre « Sémantique formelle et vérification »  : […] L'objectif de la vérification formelle est de démontrer des théorèmes sur le système étudié. On distingue les théorèmes de correction et les théorèmes de progrès , énonçant intuitivement, pour les premiers, que rien de mauvais ne se produit et, pour les seconds, que quelque chose de bon arrivera. Pour fixer les idées, prenons l'algorithme original d'Euclide pour le calcul du plus grand commun divi […] […] Lire la suite