Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
using model checking
Vertaling van "using model checking" in Frans
model checking
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.
The invention concerns model program analysis of software code using model checking.
L'invention concerne une analyse de programme modèle de code logiciel au moyen d'une vérification de modèle.
new reachable control states uncovered by the removal of the synchronization constructs are added where the new reachable control states are discovered using model checking for single threads
de nouveaux états de commande accessibles mis à jour par la suppression des structures de synchronisation sont ajoutés lorsque les nouveaux états de commande accessibles sont découverts en utilisant des techniques de vérification des systèmes dynamiques de ces seules unités d'exécution
In Basu et al., distributed control is achieved by first using model checking to precalculate the knowledge of each process, which reflects in a given local state all the possible situations of the other processes.
Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus.
In Basu et al., distributed control is achieved by first using model checking to precalculate the knowledge of each process, which reflects in a given local state all the possible situations of the other processes.
Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus.
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.
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.
Using model checking, our approach permits the verification of properties over the system formal specification.
Reposant sur la technique de "model checking", notre approche permet la vérification de propriétés sur la spécification formelle du système.
Using model checking, our approach permits the verification of properties over the system formal specification.
Reposant sur la technique de "model checking", notre approche permet la vérification de propriétés sur la spécification formelle du système.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel propose une gamme de solutions éprouvées industriellement pour l'analyse statique ou la preuve formelle de systèmes ou de logiciels à l'aide de technologies à base de Model Checking.
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.
Synoniemen voor using model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 11. Exact: 11. Verstreken tijd: 593 ms.
