Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
translating model checking
Examples with "translating model checking" and their translation in Frans
Then we present the way of translating model checking problems as proving first-order formulas in Deduction Modulo.
Nous présentons ensuite comment formuler les problèmes de model checking comme des formules du premier ordre en Déduction Modulo.
Then we present the way of translating model checking problems as proving first-order formulas in Deduction Modulo.
Nous présentons ensuite comment formuler les problèmes de model checking comme des formules du premier ordre en Déduction Modulo.
Andere resultaten
The model-checking approach consists in translating the application into a labelled transition system model, on which the correctness properties, expressed as temporal logic formulas, are verified by means of specific algorithms.
L'approche basée sur les modèles (model-checking) consiste à traduire l'application vers un modèle système de transitions étiquetées, sur lequel les propriétés de bon fonctionnement, exprimées comme formules de logique temporelle, sont vérifiées au moyen d'algorithmes spécifiques.
The so-called model-checking verification technique consists in translating the application into a Labelled Transition System (LTS) on which the desired properties, expressed in temporal logic, are verified using specialized tools called model-checkers.
La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers).
The so-called model-checking verification technique consists in translating the application into a Labelled Transition System (LTS) on which the desired properties, expressed in temporal logic, are verified using specialized tools called model-checkers.
La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers).
Such weak dependences will be studied in the framework of model-checking games.
De telles dépendances faibles seront étudiées au travers de jeux de 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.
The obtained model is then analysed by model-checking.
Le modèle obtenu est ensuite analysé par 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.
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.
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.
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.
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.
Synoniemen voor translating model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 391. Exact: 2. Verstreken tijd: 360 ms.
