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
le model checking
Why wait more than 2 weeks before starting the model checking?
Pourquoi attendre + de 2 semaines avant de démarrer le model checking?
With the aim of improving the model checking results of this approach, we explore abstraction techniques for information systems specified inEB-3.
Dans le but d'améliorer les résultats de notre approche concernant le model checking, on explore des techniques d'abstraction dédiées aux systèmes d'information spécifiées en EB-3.
The last contribution is the decidability of the model checking problem for linear flows of time under suitable hypothesis over the first-order theories involved.
Notre dernière contribution est la décidabilité du problème du model-checking pour le flux temporel linéaire, sous des hypothèses appropriées concernant les théories du premier ordre impliquées.
The process of invariant generation isintegrated with the model checking algorithm and allows the verification inpractice of systems which are out of reach for traditional symbolicapproaches.
Le processus de générationd'invariants est intégré à l'algorithme de model checking et permet de vérifieren pratique des systèmes hors de portée des approches symboliquestraditionnelles.
The automatic construction of test cases based on the model checking approach (the main TGV feature) is hindered by the state explosion problem.
La génération de test de conformité fondée sur des techniques de vérification par modèles (l'approche employée par TGV) est limitée par le problème d'explosion d'état.
With the aim of improving the model checking results of this approach, we explore abstraction techniques for information systems specified inEB-3.
Dans le but d'améliorer les résultats de notre approche concernant le model checking, on explore des techniques d'abstraction dédiées aux systèmes d'information spécifiées en EB-3.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
This work is set in the theoreticalframework of the model checking modulo theories and resulted in a new modelchecker: Cubicle.One of the main contribution of this thesis is a novel technique for automatically inferring invariants.
Ces travauxs'inscrivent dans le cadre théorique du model checking modulo théories et ontdonné lieu à un nouveau model checker : Cubicle.Une des contributions principale de cette thèse est une nouvelle technique pourinférer des invariants de manière automatique.
Moreover, using -Pomsets as models for concurrent systems, the model checking of partial order formulas on concurrent systems is decidable.
De plus, en utilisant les -Pomsets comme modèles pour systèmes concurrents, le model-checking de formules ordre partiel sur systèmes concurrents est décidable.
The proofs of the decidability results suggest that efficient Satisfiability Modulo Theories solvers might be successfully employed in the model checking of infinite-state systems.
La preuve de ce résultat indique qu'on pourrait employer avec succès des Solveurs Modulo des Théories dans les applications du model-checking aux systèmes ayant un nombre infini d'états.
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 model checking problem of a con current system is decomposed into a plurality of model checking problems on individual threads of the multi-threaded software.
Le problème de vérification de modèle d'un système concurrent est décomposé en une pluralité de problèmes de vérification de modèle sur des filières individuelles du logiciel multifilière.
We propose an approach called ScaleSem which transforms semantic graphs into graphs understood by the Model Checker (The verification Tool of the Model Checking method).
Nous proposons une approche nommé ScaleSem qui consiste à transformer les graphes sémantiques en graphes compréhensibles par le model checker (l'outil de vérification de la méthode Model checking).
Synoniemen voor the model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 21. Exact: 21. Verstreken tijd: 73 ms.
