Résumé: La validation est une étape importante dans le processus de conception des systèmes hardwares ou softwares. C'est une technique pour montrer qu'un système qui est décrit par un programme représentant son comportement possible, satisfait un ensemble de propriétés représentants le comportement désiré. Plusieurs techniques traditionnelles comme la simulation et le test, ont montrés leurs limites et elles ne peuvent pas être exhaustives. Dans la dernière décennie, il ya une grande tendance à utiliser des méthodes formelles basés sur des formalismes mathématiques pour la vérification exhaustive des systèmes

Biskra:
Langue: Français
Collation: 143 p. ill. ;30 cm
Diplôme: Doctorat
Etablissement de soutenance: Biskra, Université Mohamed Khider. Faculté des Sciences et des Sciences de l'Ingénieur
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Logique mathématique destinée aux informaticiens
Logique mathématique
Théorèmes : Démonstration automatique

Note: Bibliogr.pp.131-143