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.
model checking
model-checking
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.
Dans un premier temps un système de notation à un niveau à été modélisé, implémenté et son efficacité analysée en utilisant deux méthodes (simulation pour les résultats quantitatifs et le model-checking pour les résultats qualitatifs.
The rating system was modelled, implemented and its efficiency was checked in two ways: (quantitative simulation and model checking for the qualitative results).
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.
Les démonstrateurs de cette famille ont des applications diverses dans la conception de microprocesseurs, la preuve de programmes, le model-checking, etc.Les démonstrateurs SMT offrent un bon compromis entre l'expressivité et l'efficacité.
The solvers of this family have various applications in hardware design, program verification, model checking, etc.SMT solvers offer a good compromise between expressiveness and efficiency.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking consiste à trouver un modèle abstrait pour le système et un formalisme logique pour le comportement puis à vérifier si le modèle vérifie la propriété exprimée dans la logique.
It consists in abstracting both the system into a formal model and the property of expected behaviour in some logical formalism, then checking if the property's abstraction holds on the system's abstraction.
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.
Cette reformulation donne une définition formelle au problème de la composition et nous permet de réutiliser les méthodes et outils qui ont été développés pour le model-checking.
This reformulation gives a formal definition to the composition problem and allows us to reuse the methods and tools which have been developed for model-checking.
Afin de garantir la qualité des systèmes conçus par cette démarche, nous proposons dans cette thèse, deux approches de vérification formelle basées sur le Model-Checking.
To guarantee the quality of the systems designed according to this method, we propose two formal verification approaches, based on Model-Checking, in this thesis.
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.
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.
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.
