Examples with "model checking avec" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
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.
To achieve the aim of solving model checking problems with an off-the-shelf automated theorem prover, three works are included in this dissertation.
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.
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.
To achieve the aim of solving model checking problems with an off-the-shelf automated theorem prover, three works are included in this dissertation.
Andere resultaten
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.
The soundness and completeness of our method shows that solving CTL model checking problems with automated theorem provers is feasible.
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.
Then, it allows us to develop semi-algorithms for parametric model-checking, with which we can verify parametric TCTL formulae.
Dans ma thèse, nous avons proposé un algorithme de localisation d'erreurs à partir de contreexemples, nommé LocFaults, combinant les approches de Bounded Model Checking (BMC) avec un problème de satisfaction de contraintes (CSP).
In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combining approaches of Bounded Model-Checking (BMC) with constraint satisfaction problem (CSP).
Dans ma thèse, nous avons proposé un algorithme de localisation d'erreurs à partir de contreexemples, nommé LocFaults, combinant les approches de Bounded Model Checking (BMC) avec un problème de ensembles d'instructions suspectes permettant de corriger le programme.
In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combining approaches of Bounded Model-Checking (BMC) with constraint satisfaction problem (CSP).
De telles dépendances faibles seront étudiées au travers de jeux de model checking.
Such weak dependences will be studied in the framework of model-checking games.
Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
Such properties can be evaluated by using probabilistic model checking.
Le modèle obtenu est ensuite analysé par model-checking.
The obtained model is then analysed by model-checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by 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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
