Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
the model-checking
Vertaling van "the model-checking" in Frans
model-checking
We propose new algorithms for the model-checking and the satisfiability problems of that logic.
Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité.
This is called the model-checking problem.
C'est ce que l'on appelle le problème du model-checking.
That's why we are contemplating the model-checking of distributed applications.
C'est pour cela que nous nous intéressons à la vérification de modèles d'applications distribuées.
put forward abstractions in order to improve the model-checking time and memory consumption.
proposer des abstractions qui favorisent la vérification du modèle par le moteur de model-checking temporel.
Several verification's methods exist, like the verification by proof and the model-checking.
Plusieurs méthodes de vérifications existent, comme la vérification par preuves et la vérification par modèles (ou model-checking).
Abstract: We consider in this thesis the model-checking problem of infinite state systems, namely parametrized systems and recursive multithreaded programs.
Résumé : Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notamment les systèmes paramétrés et les programmes récursifs parallèles.
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.
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.
SPIN also offers a large number of options to further speed up the model-checking process and save memory, such as
SPIN propose également un grand nombre d'options pour accélérer davantage le processus de vérification du modèle et économiser de la mémoire, telles que
We present an algorithm for the model-checking problem of WTmu.
Nous proposons des algorithmes pour la vérification des systèmes lorsque les propriétés sont écrites en WTmu.
We show that the model-checking problem of DPNs against CARET formulas is decidable.
La détection de malware est alors réduite au problème de model-checking des automates à pile par rapport à ces logiques CARET.
Properties to be verified are expressed as Linear Temporal Logic (LTL) formulas, which are negated and then converted into Büchi automata as part of the model-checking algorithm.
Les propriétés à vérifier sont exprimées sous forme de formules de logique temporelle linéaire (LTL), qui sont niées puis converties en automates de Büchi dans le cadre de l'algorithme de vérification de modèles.
Reducing the malware detection problem to the model-checking problem of PDSs against SCTPL/SLTPL formulas.
La réduction du problème de détection de codes malveillants auproblème de model-checking de PDS contre des formules SCTPL / SLTPL.
Among the main procedures we find the model-checking, developed by Clarke and Emerson in the 80's.
Parmi les méthodes possibles, on trouve le model-checking, développé par Clarke et Emerson dans les années 80.
Synoniemen voor the model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 19. Exact: 19. Verstreken tijd: 72 ms.
