Examples with "le model-checking comme" and their translation in Engels
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.
L'approche proposée s'applique a des convois suivant plusieurs types de configuration, et permet des changements dynamiques de configuration.L'approche proposée pour la vérification de propriétés de sûreté des convois de véhicules, adopte le model-checking comme technique de preuve.
The proposed approach can be applied to platoon with different configurations, and allows for dynamic change of proposed verification method uses the model-checking technique.
Andere resultaten
Nous présentons ensuite comment formuler les problèmes de model checking comme des formules du premier ordre en Déduction Modulo.
Cette modélisation nous permet de faire l'analyse des AHL par l'outil de model-checking comme Hy-Tech pour l'accessibilité, les comportements cycliques comme le noyau d'invariance, les états stables et les chemins entre deux états donnés.
The hybrid modelling allows us to automatically analyse a BRN by a model-checking tool, for example HyTech, for cyclic behaviour (the so-called invariance kernel), stable states and paths between two given states.
De plus, en utilisant les -Pomsets comme modèles pour systèmes concurrents, le model-checking de formules ordre partiel sur systèmes concurrents est décidable.
Moreover, using -Pomsets as models for concurrent systems, the model checking of partial order formulas on concurrent systems is decidable.
La boite à outils CADP Construction and Analysis of Distributed Processes offre plusieurs techniques relatives à l-exploration d-espace d-états, comme le model checking, pour vérifier formellement une spécification LNT.
The CADP Construction and Analysis of Distributed Processes toolbox offers several techniques related to state space exploration, like model checking, to formally verify an LNT specification.
La boite à outils CADP (Construction and Analysis of Distributed Processes) offre plusieurs techniques relatives à l'exploration d'espace d'états, comme le model checking, pour vérifier formellement une spécification LNT.
The CADP (Construction and Analysis of Distributed Processes) toolbox offers several techniques related to state space exploration, like model checking, to formally verify an LNT specification.
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.
