Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
with model checking
Examples with "with model checking" and their translation in Frans
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
transformation of simple subset of psl into sere implication formulas for verification with model checking and simulation engines using semantic preserving rewrite rules
transformation d'un sous-ensemble simple de langage pls en des formules d'implication sere pour effectuer des vérifications au moyen de moteurs de vérification et de simulation, à l'aide de règles de réécriture à conservation sémantique
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
PRODUCTION D'UN SYSTÈME DE TRANSITION UTILISÉ AVEC UNE VÉRIFICATION DE MODÈLE
To conduct those verification in an automated way, SGAC is modelled in B and Alloy; these different models provide access to the tools Alloy and ProB, and thus, automated property verification with model checking
Afin de mener ces vérifications de manière automatisée, SGAC est modélisé en B et Alloy ; ces différentes modélisations donnent accès aux outils Alloy et ProB, et ainsi à la vérification automatisée de propriétés via la vérification de modèles ou model checking
GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
PRODUCTION D'UN SYSTÈME DE TRANSITION UTILISÉ AVEC UNE VÉRIFICATION DE MODÈLE
Andere resultaten
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
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.
Finally, it details some works based on the timed automaton (called a DTA) derived from an RT-Lotos specification in order to carry out fast simulations, and to interface with model-checking tools.
Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker.
First, we address the graph traversal problems in model checking with automated theorem provers.
Premièrement, nous abordons le problème de parcours de graphes en model checking avec des prouveurs automatiques.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
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.
The objective of the invention is to detect a characteristic in a technical system with reference to model checking.
Dans le cadre d'une vérification de modèle, on essaie de détecter une caractéristique dans un système technique.
Synoniemen voor with model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2480. Exact: 6. Verstreken tijd: 642 ms.
