Carte Rare

Méthode formelle (informatique)

techniques de raisonnement mathématique sur des programmes ou du matériel informatique

Valeur

50 W

Attaque

270

Défense

216

Joueurs

1

501 vues Wikipédia ces 30 derniers jours

En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.