Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checking techniques in
Examples with "model-checking techniques in" and their translation in Frans
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Andere resultaten
Abstract: This thesis provides an efficient formal scheme for the tool-supported real-time system verification by combination of abstraction-based deductive and model checking techniques in order to handle the limitations of the applied verification techniques.
Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques.
To handle at the same time state-based and process-based properties, morphism is established between the dynamic composite level and CSPZ (a combination of CSP and Z);The verification and validation process combine simulation, model checking and theorem proving techniques in a common framework.
Le processus de vérification et de validation combine la simulation, la vérification exhaustive de modèle (model checking) et la preuve de théorèmes (theorem proving) dans un Framework commun.
The so-called model-checking verification technique consists in translating the application into a Labelled Transition System (LTS) on which the desired properties, expressed in temporal logic, are verified using specialized tools called model-checkers.
La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers).
The so-called model-checking verification technique consists in translating the application into a Labelled Transition System (LTS) on which the desired properties, expressed in temporal logic, are verified using specialized tools called model-checkers.
La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers).
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.
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.
We propose a formal verification methodology based on the Model Checking technique.
Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking.
The proposed techniques are an alternative to model-checking techniques.
Les techniques proposées constituent une alternative aux techniques de 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.
Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.
Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche.
For such nondeterministic models, we propose a symbolic simulation scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une simulation symbolique, inspirée des techniques de vérification des automates temporisés.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9142. Exact: 2. Verstreken tijd: 254 ms.
