Informarium

Encyclopédie synoptique de l'informatique

Vérification

Comment garantir mathématiquement qu’un système satisfait une spécification ?


Commentaires

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *