MÉTHODE FORMELLE, programmation informatique

Article

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  ...beaucoup trop longs et beaucoup trop fastidieux. Ils sont par conséquent humainement impossibles à vérifier... sauf si la tâche est assistée par ordinateur : c'est précisément ici qu'interviennent les méthodes formelles. Leur objectif, partant d'une spécification formelle du système étudié,...