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.
Systerel propose une gamme de solutions éprouvées industriellement pour l'analyse statique ou la preuve formelle de systèmes ou de logiciels à l'aide de technologies à base de Model Checking.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
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.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Secondly, we propose to combine this method with model-checking techniques.
Nous établissons des résultats de décidabilité et complexité pour des problèmes de model checking impliquant diverses instances de ces extensions.
We establish decidability and complexity results for model checking problems involving several instances of such extensions.
Enfin, en nous appuyant sur la base théorique du deuxième travail, nous proposons une méthode de model checking symbolique.
At last, based on the theoretical basis in the second work, we propose a symbolic model checking method.
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.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Le cas de base utilisé pour l'évaluation empirique est l'application d'un algorithme de model checking classique à chaque produit.
The baseline for our empirical evaluation is the application of classical model checking algorithms to each system of the family.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
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.
