Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
model-checking
Tradução de "model-checking" em francês
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.
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.
A countermeasure that prevents such instruction skip attacks has been designed and formally verified with model-checking tool.
Une contre-mesure empêchant ces attaques par saut d'instruction, en remplaçant chaque instruction par une séquence d'instructions, a été construite et vérifiée formellement à l'aide d'outils de model-checking.
Sinônimos e analogias para "model-checking" em inglês
Palavra e Expressão do Dia
Imagem do dia
Sugestões que contenham model-checking
Resultados: 123. Exatos: 123. Tempo de resposta: 57 ms.
