Tag: formal-verification
La vérification formelle est la loi de confirmer ou infirmer la justesse de l’intention des algorithmes qui sous-tendent un système par rapport à une certaine spécification formelle ou des biens, à l’aide de méthodes formelles de mathématiques.