Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
by using model checking techniques
Examples with "by using model checking techniques" and their translation in Frans
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Abstract: We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Résumé : Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Andere resultaten
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Il atteint cet objectif en utilisant et développant des techniques connues pour analyser la sécurité du code source, y compris des interprétations abstraites, des vérifications déductives et la vérification de modèle.
A widely used technique is the exhaustive behavioral model verification using model-checking by providing a translational semantics to build a formal model from DSML conforming models in order to reuse powerful tools available for this formal domain.
Une technique très utilisée est la vérification des modèles comportementaux par exploration exhaustive (model-checking) en utilisant une sémantique de traduction pour construire un modèle formel à partir des modèles métiers pour réutiliser les outils performants disponibles pour les modèles formels.
A widely used technique is the exhaustive behavioral model verification using model-checking by providing a translational semantics to build a formal model from DSML conforming models in order to reuse powerful tools available for this formal domain.
Une technique très utilisée est la vévérification des modèles comportementaux par exploration exhaustive (model-checking) en utilisant une sémantique de traduction pour construire un modèle formel à partir des modèles métiers pour réutiliser les outils performants disponibles pour les modèles formels.
This specialization technique ensures the absence of dead code, minimizes the memory footprint and provides a formal model of the operating system used in a last step to check its behavior by using model checking.
Cette technique de spécialisation garantit l'absence de code mort, minimise l'empreinte mémoire et fournit un modèle formel du système d'exploitation utilisable dans une étape ultérieure de model-checking.
Abstract: This work focuses on verification of automated systems using model-checking techniques.
Résumé : Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking.
Cyber-physical consistency aims at maintaining a consistent behaviourof the application with respect to the physical world, as well as avoiding dangerous andcostly circumstances.The approach was validated using model checking techniques to verify important correctnessproperties.
Laprocédure de reprise sur panne en assurant la cohérence cyber-physique évite les impactsdangereux et coûteux de la défaillance sur le monde physique.L'approche proposée a été validée à l'aide de techniques de vérification par modèle afin devérifier que certaines propriétés importantes sont satisfaites.
This push-button technology effectively combines three techniques namely the on-the-fly model checking using lazy data types, constrained theorem-proving and model checking via propositional satisfiability checking.
Cette technologie à bouton-poussoir combine de manière efficace trois techniques, à savoir la vérification de modèles en direct à l'aide de types de données inactives, la démonstration de théorèmes limites et la vérification de modèles via la vérification de la satisfaisabilité propositionnelle.
It covers state-space exploration techniques, optimisation of this exploration and its use for checking temporal logic formulas using "model checking".
Elle couvre les techniques d'exploration de l'espace des états, les optimisations possibles de cette exploration et son utilisation pour la vérification de formules de logique temporelle par "vérification de modèle" (model checking).
Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate this controller using symbolic model-checking techniques.
Nous introduisons le R2C, notre contrôleur basé sur les hypothèses synchrones, ainsi que l'outil permettant sa génération en exploitant des techniques issues du model-checking symbolique.
A technique for model checking of multi-threaded software is herein disclosed which advanta geously can be used to verify correctness properties expressed using temporal logic, e.g., linear time temporal logic and branching time temporal logic.
Cette technique peut être mise en oeuvre avantageusement pour vérifier les propriétés d'exactitude exprimées au moyen d'une logique temporelle, par exemple une logique temporelle à temps linéaire et une logique temporelle à temps ramifié.
The so-called model-checking verification technique consists in translating the application into a Labelled Transition System (LTS) on which the desired properties, expressed in temporal logic, are verified using specialized tools called model-checkers.
La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers).
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2791830. Exact: 2. Verstreken tijd: 555 ms.
