Examples with "le model-checking et" 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.
Enfin, nous revenons sur des résultats plus récents, consécutifs à l'établissement de liens fructueux entre l'apprentissage automatique, la programmation logique, le model-checking et la bio-informatique, ce qui nous permet de faire émerger un ensemble de nouvelles questions scientifiques.
Finally, we give an overview of recent research aiming to build a fruitful link between machine learning, logic programming, model-checking and bioinformatics.
Andere resultaten
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.
Ses principaux domaines d'intérêt sont la modélisation, la vérification formelle, le model checking et les réseaux de Petri.
His main areas of interest include modelling, formal verification, model checking and Petri networks.
Nous nous intéressons à la vérification des systèmes concurrents modélisés par des réseaux de Petri, en étudiant deux techniques remarquables de vérification: le 'model checking' et le diagnostic.
This dissertation focuses on the verification of concurrent systems, employing Petri nets to formalize them, and studies two prominent verification techniques: model checking and fault diagnosis.
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
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.
Le Model checking est une technique de vérification qui explore tous les états possibles du système.
Model Checking is a verification technique that explores all possible states of the system.
Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique.
On the other hand, model checking allows to assess the correctness of such systems in a fully automatic manner.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Pourquoi attendre + de 2 semaines avant de démarrer le model checking?
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.
