Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Model-checking
Vertaling van "Model-checking" in Frans
model-checking
model checking
The obtained model is then analysed by model-checking.
Le modèle obtenu est ensuite analysé par model-checking.
This is called the model-checking problem.
C'est ce que l'on appelle le problème du model-checking.
The proposed techniques are an alternative to model-checking techniques.
Les techniques proposées constituent une alternative aux techniques de model-checking.
The Model-Checking algorithms are designed for the total checking of systems by traversing their state graphs.
Les algorithmes de Model-Checking sont conçus pour la vérification totale des systèmes en parcourant leurs graphes d'états.
Finally, the study of its model-checking problem provides a mechanism for the automatic and correct verification of code compliance.
Enfin, l'étude de son problème de model-checking offre un mécanisme de vérification automatique et correct de la conformité du code.
Understand the algorithmic techniques of analysis and verification and proof (model-checking)
Comprendre les techniques algorithmiques d'analyse et de vérification et de preuve (model-checking)
The main contribution of this thesis is a new model-checking approach for malware detection taking into account the behavior of the stack.
La principale contribution est une nouvelle approche de model-checking pour la détection des malwares en tenant compte du comportement de la pile.
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.
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.
For proving this kind of properties, we propose a semi-automatic verification technique which attempts to combine some of the advantages of model-checking, abstract interpretation and interactive proof.
Pour ces propriétés, nous proposons une technique de vérification semi-automatique qui tente de combiner les avantages du model-checking, interprétation abstraite et preuve interactive.
The first part studies the formal modeling and verification by model-checking of realtime systems in the context of the aerospace industry.
La première partie étudie la modélisation et la vérification formelle par model-checking de systèmes temps réel dans le contexte de l'industrie aéronautique et spatiale.
To arrive at the automation of composition, we first show how one can reformulate this problem into a model-checking problem.
Pour arriver à l'automatisation de la composition, nous montrons d'abord comment on peut reformuler ce problème sous la forme d'un problème de model-checking.
As we will see, all these ingredients meet and combine surprisingly well with higher-order model-checking.
Nous verrons que ces concepts contribuent de façon particulièrement naturelle à l'étude du model-checking d'ordre supérieur.
Like model-checking, this technique automatically proves safety of finite systems and of some classes of infinite systems having a regular representation.
Comme en model-checking, cette technique permet de prouver automatiquement des propriétés de sûreté sur les systèmes finis, ainsi que sur certaines classes de systèmes infinis ayant une présentation finie.
Synoniemen voor Model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 123. Exact: 123. Verstreken tijd: 47 ms.
