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
vérification de modèle
model-checking
vérification de modèles
vérification des modèles
vérification du modèle
contrôle du modèle
exploration de modèle
Abstract: Model checking is a formal verification technique verifying that a system behavior satisfies formal properties.
Résumé : Le model checking est une technique de vérification formelle qui consiste à certifier que le comportement d'un système formel satisfait des propriétés formelles.
Abstract: Model checking is an established technique for automatically verifying that a model satisfies a given temporal property.
Résumé : Le model checking est une technique établie pour vérifier automatiquement qu'un modèle vérifie une propriété temporelle donnée.
Model checking is a technique for verifying that the model of a system under study fulfills a given property.
La vérification de modèle permet de s'assurer qu'une propriété est vérifiée par le modèle du système.
In the aforementioned parameter generation, parametric model checking is performed.
Dans la génération du paramètre précité, une vérification de modèle paramétrique est effectuée.
Model checking provides support to discover deadlocks and violations of constraints.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Yet, they lack software tools enabling the application of efficient model checking algorithms.
Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking.
The challenge in this approach is how to apply the methods derived from Model checking in the context of the verification of legacy distributed applications (without access to source code) and no longer on abstract models.
L'enjeu majeur est de réussir à appliquer les techniques associées au Model checking dans le cadre d'une vérification sur des implémentations réelles d'applications distribuées et non plus sur des modèles abstraits.
Abstract: Model checking is a technique for automatically verifying correctness properties of finite systems.
Résumé : Le model checking est une technique de vérification automatique de propriétés de correction de systèmes finis.
BIM and Model checking applied to the single disciplinary model and to the integrated model (Merged Model) [...]
BIM et Model Checking appliqués au modèle disciplinaire unique et au modèle intégré (modèle fusionné) [...]
Based on Software Model Chekcking and Dynamic testing, the challenge in this approach is how to apply the methods derived from Model checking in the context of the verification of typical distributed applications and no longer on models.
Basée sur les techniques du Software Model Checking et de la Vérification Dynamique, l'enjeu dans cette approche est d'appliquer les techniques associées au Model checking dans le cadre d'une vérification sur des implémentations réelles d'applications distribuées et non plus sur des modèles.
He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking.
Il a reçu le prix Turing en 2007, avec Edmund M. Clarke et Joseph Sifakis pour son travail sur le model checking.
Such properties can be evaluated by using probabilistic model checking.
Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
Synoniemen voor Model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 265. Exact: 265. Verstreken tijd: 64 ms.
