Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checker
Vertaling van "model-checker" in Frans
model-checker
explorateur de modèle
évaluateur
Check constructability of models with built in model-checker and cross section tool.
Vérifiez la constructibilité de vos modèles avec le model-checker et les outils de coupe transversales.
Third, we explain how the graphical models can be automatically translated into an input for a model-checker.
Troisièmement, nous expliquons comment nos modèles graphiques peuvent être traduits automatiquement dans le formalisme d'entrée d'un model-checker.
The proposed approach to ensure that the constraints are properly defined is to formally verify, using the model-checker.
Une approche vérifie formellement que les contraintes sont suffisantes pour éviter toutes détériorations, avant l'implémentation au moyen du model-checker.
The effective usefulness of the invariants generated by PILAT is demonstrated by using the tool in concert with CaFE, a model-checker for C programs based on temporal logics.
En outre, les vecteurs propres sont mis à l'épreuve en pratique par leur utilisation dans le model-checker CaFE basé sur la verification de propriétés temporelles sur des programmes C.
FAST is a model-checker for infinite systems modelled by counter automata.
FAST est un model-checker pour systèmes infinis modelisés par des automates à compteurs.
We implement this approach in the UPPAAL model-checker and study its results on a proof-of-concept example.
Nous implémentons cette analyse dans le model-checker UPPAAL et l'appliquons sur un exemple.
This verification is done with the "model-checker" TIme petri Net Analyzer (TINA) and Linear Temporal Logic (LTL) language.
Cette vérification est effectuée avec le "model-checker" TIme petri Net Analyser (TINA) et le langage Linear Temporal Logic (LTL).
In this approach we use the SPIN model-checker and LTL properties to specify and verify requirements.Keywords: {Modeling, SysML specifications, CBS architecture, Refinement, Compatibility, Requirements, LTL properties, Promela/SPIN, Ptolemy, MIO Workbench}
Dans cette approche nous exploitons le model-checker SPIN et la LTL pour spécifier et vérifier les exigences.Mots clés: {Modélisation, Spécifications SysML, Architecture SBC, Raffinement, Compatibilité, Exigences, Propriétés LTL, Promela/SPIN, Ptolemy, MIO Workbench}
Finally, we consider applications of the theory of regular trees such as the definition of the parallel composition operator of a process algebra or, the decidability problems on regular trees through a mechanization of a model-checker for a coalgebraic mu-calculus.
Enfin, nous considérons des applications de la théorie des arbres réguliers comme la définition de l'opérateur de composition parallèle d'une algèbre de processus ou encore, les problèmes de décidabilité sur les arbres réguliers via une mécanisation d'un vérificateur de modèles pour un mu-calcul coalgébrique.
The method is tooled both for modeling and synthesis by use of the model-checker NuSMV.
Nous avons outillé cette méthode pour les étapes de modélisation et de synthèse en nous appuyant sur l'outil de vérification de modèle NuSMV.
The AltaRica model refinement verification is supported by the MecV model-checker.
A model-checker for XTL is developed and successfully used for the validation of industrial applications such as the BRP protocol designed by Philips and the link layer of the IEEE-1394 serial bus ("FireWire").
Un évaluateur XTL est développé et utilisé avec succès pour la validation d'applications industrielles comme le protocole BRP développé par Philips et la couche liaison du bus série IEEE-1394 ("FireWire").
A model-checker for XTL is developed and successfully used for the validation of industrial applications such as the BRP protocol designed by Philips and the link layer of the IEEE-1394 serial bus ("FireWire").
Un évaluateur XTL est développé et utilisé avec succès pour la validation d'applications industrielles comme le protocole BRP développé par Philips et la couche liaison du bus série IEEE-1394 ("FireWire") normalisé par l'IEEE.
Synoniemen voor model-checker in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 16. Exact: 16. Verstreken tijd: 26 ms.
