ملخص: 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:
لغة: فرنسية
الوصف المادي: 143 p. ill. ;30 cm
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Biskra, Université Mohamed Khider. Faculté des Sciences et des Sciences de l'Ingénieur
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Logique mathématique destinée aux informaticiens
Logique mathématique
Théorèmes : Démonstration automatique

ملاحظة: Bibliogr.pp.131-143