Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Méthodes formelles"”.
-
Étude de la crypto-agilité de OpenSSL et du test automatisé de systèmes non déterministes
… et post-quantique, la crypto-agilité et les méthodes de génération de tests. Sur cette base, la première contribution repose sur l’utilisation des tests basés sur les modèles, associés à des méthodes formelles, afin d’assurer une couverture de test systématique. L’outil ProB, vérificateur de …
-
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée
… par des parties prenantes non spécialistes de méthodes formelles. Toutefois, les tâches de spécification des formules logiques du modèle de domaine, qui donnent lieu aux propriétés et invariants du modèle B System, et du corps des évènements B System, ainsi que les tâches de vérification et …
-
Évaluation d'une approche de synthèse de contrôleurs pour un problème réel de contrôle
… le cadre de ce problème en la comparant avec des méthodes formelles et semi-formelles qui ont contribué à la résolution du même problème.