We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
as model checking
En effet, les techniques d'assurance qualité utilisées dans le développement de ce type de systèmes, telles que le model checking, ne peuvent traiter que des systèmes sans variabilité.
One reason for this is that current quality assurance techniques used in the development of these systems, such as model checking, are designed for systems with no variability.
La maîtrise de la Sûreté de Fonctionnement est un processus essentiel de l'IS et, dans sa poursuite, le recours à des méthodes formelles telles que le model checking se heurte généralement à des difficultés d'utilisation.
Safety Engineering is a major SE process, yet the use of formal methods such as model checking, however powerful they may be, is hampered by their intrinsic complexity.
La maîtrise de la Sûreté de Fonctionnement est un processus essentiel de l'IS et, dans sa poursuite, le recours à des méthodes formelles telles que le model checking se heurte généralement à des diffcultés d'utilisation.
Safety Engineering is a major SE process, yet the use of formal methods such as model checking, however powerful they may be, is hampered by their intrinsic complexity.
En effet, les techniques d'assurance qualité utilisées dans le développement de ce type de systèmes, telles que le model checking, ne peuvent traiter que des systèmes sans variabilité.
One reason for this is that current quality assurance techniques used in the development of these systems, such as model checking, are designed for systems with no variability.
Andere resultaten
Ensuite, sur le plan de la vérification et de la validation, nous proposons d'exploiter les méthodes formelles, telles que le model-checking, en complément des tests et des simulations habituellement utilisées dans l'industrie.
Then, we propose an exploitation of formal methods, such as model-checking, to validate and check properties of the model and complement usual methods like tests and simulations.
Ensuite, sur le plan de la vérification et de la validation, nous proposons d'exploiter les méthodes formelles, telles que le model-checking, encomplément des tests et des simulations habituellement utilisées dans l'industrie.
Then, we propose an exploitation of formal methods, such as model-checking, to validate and check properties of the model and complement usual methods like tests andsimulations.
Le modèle obtenu est ensuite analysé par model-checking.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and violations of constraints.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and properties violations.
Nous traitons ces défis pour une technique spécifique: le model checking.
We address these challenges for a specific quality assurance technique: model checking.
Approches numériques et statistiques pour le model checking des processus stochastiques.
Numerical and statistical approaches for model checking of stochastic processes
Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes.
Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques.
Le model-checking massivement parallèle sur des réseaux de stations de travail et des grappes de PC.
Massively parallel model-checking on networks of workstations and clusters of PCs.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
