Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking with
Examples with "model checking with" and their translation in Frans
First, we address the graph traversal problems in model checking with automated theorem provers.
Premièrement, nous abordons le problème de parcours de graphes en model checking avec des prouveurs automatiques.
First, we address the graph traversal problems in model checking with automated theorem provers.
Premièrement, nous abordons le problème de parcours de graphes en model checking avec des prouveurs automatiques.
Andere resultaten
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide 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.
To achieve the aim of solving model checking problems with an off-the-shelf automated theorem prover, three works are included in this dissertation.
Afin d'accomplir le but de résoudre des problèmes de model checking avec un prouveur automatique quelconque, trois travaux sont inclus dans cette dissertation.
The soundness and completeness of our method shows that solving CTL model checking problems with automated theorem provers is feasible.
La correction et la complétude de notre méthode montre que résoudre des problèmes de model checking CTL avec des prouveurs automatiques est faisable.
A countermeasure that prevents such instruction skip attacks has been designed and formally verified with model-checking tool.
Une contre-mesure empêchant ces attaques par saut d'instruction, en remplaçant chaque instruction par une séquence d'instructions, a été construite et vérifiée formellement à l'aide d'outils de model-checking.
Then, it allows us to develop semi-algorithms for parametric model-checking, with which we can verify parametric TCTL formulae.
Cela nous permet de proposer des semi-algorithmes de model-checking paramétré avec lesquels nous vérifions des formules de logique TCTL paramétrées.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
PRODUCTION D'UN SYSTÈME DE TRANSITION UTILISÉ AVEC UNE VÉRIFICATION DE MODÈLE
transformation of simple subset of psl into sere implication formulas for verification with model checking and simulation engines using semantic preserving rewrite rules
transformation d'un sous-ensemble simple de langage pls en des formules d'implication sere pour effectuer des vérifications au moyen de moteurs de vérification et de simulation, à l'aide de règles de réécriture à conservation sémantique
Synoniemen voor model checking with in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1564. Exact: 2. Verstreken tijd: 399 ms.
