Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Software Model Checking et
Examples with "Software Model Checking et" and their translation in Frans
In particular, they have been successfully applied to the verification and analysis of sequential programs, often in combination with static analysis and software model checking.
Par exemple, elles ont été utilisées avec succès dans la vérification et analyse de programmes séquentiels, souvent conjointement avec des techniques d'analyse statique et de model checking.
Based on Software Model Chekcking and Dynamic testing, the challenge in this approach is how to apply the methods derived from Model checking in the context of the verification of typical distributed applications and no longer on models.
Basée sur les techniques du Software Model Checking et de la Vérification Dynamique, l'enjeu dans cette approche est d'appliquer les techniques associées au Model checking dans le cadre d'une vérification sur des implémentations réelles d'applications distribuées et non plus sur des modèles.
Description en anglais Autre description In this thesis, we consider Pushdown Systems (PDSs) model-checking and its application to malware detection anc software model-checking.
Dans cette thèse, nous considérons le problème de vérification des systèmes à pile (PDS) et son application à la détection de codes malveillants et à la vérification du logiciel.
The developers are forced to stick to the software model chosen by the technical management.
Les développeurs sont contraints de s'adapter au modèle logiciel choisi par la direction technique.
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.
An object-oriented language focuses on creating software models around data.
Un langage orienté objet se concentre sur la création de modèles logiciels autour des données.
The e-Procurement platform is distributed following the Open Source Software model.
La plate-forme d'e-Fourniture est distribuée d'après le modèle du logiciel libre.
This leads straight to the Free Software model for any IT requirement.
Ceci conduit directement au modèle du logiciel libre pour tout besoin en informatique.
Well, not cars, and their software models.
Eh bien, pas de voitures, et leurs modèles de logiciels.
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.
A normalized meta-model compliant software model is derived from the application.
Un modèle de logiciel conforme à un méta-modèle normalisé est dérivé de l'application.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 632. Exact: 0. Verstreken tijd: 110 ms.
