Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
modelchecker
Bedoelde u: model-checker
Examples with "modelchecker" and their translation in Frans
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.
By transforming an extended B model into TLA+ module by using a prototype system (B2TLA+) that we have developed, we can verify these properties thanks to the modelchecker TLC on finite state systems.
En transformant le modèle B étendu en un module TLA+ grâce à un prototype (B2TLA+) que nous avons développé, nous pouvons vérifier ces propriétés sur des systèmes à états finis grâce au model-checker TLC.
One successful application of this algorithm is the safety analysis of industrial size parameterized cache coherence protocols.Finally, to address the problem of trusting the answer given by the modelchecker, we present two techniques for certifying our tool Cubicle based on theframework Why3.
Une des applications principales de cet algorithme estl'analyse de sûreté paramétrée de protocoles de cohérence de cache de tailleindustrielle.Enfin, pour répondre au problème de la confiance placée dans le model checker, on présente deux techniques de certification de notre outil Cubicle utilisantla plate-forme Why3.
One successful application of this algorithm is the safety analysis of industrial size parameterized cache coherence protocols.Finally, to address the problem of trusting the answer given by the modelchecker, we present two techniques for certifying our tool Cubicle based on theframework Why3.
Une des applications principales de cet algorithme estl'analyse de sûreté paramétrée de protocoles de cohérence de cache de tailleindustrielle.Enfin, pour répondre au problème de la confiance placée dans le model checker, on présente deux techniques de certification de notre outil Cubicle utilisantla plate-forme Why3.
Andere resultaten
ARCAD CodeChecker guarantees that source code meets local quality standards.
ARCAD CodeChecker garantit un niveau de qualité cohérent selon les règles en vigueur.
Synoniemen voor modelchecker in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 4. Verstreken tijd: 52 ms.
