Abonnez-vous à Universalis pour 1 euro

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é,...