Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
and software model checking
Examples with "and software model checking" 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.
Andere resultaten
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 invention concerns model program analysis of software code using model checking.
L'invention concerne une analyse de programme modèle de code logiciel au moyen d'une vérification de modèle.
Model checking software like Solibri contains powerful tools for compliance control, code checking, and design review. An introduction to model checking
Les logiciels de contrôle qualité tels que Solibri contiennent des outils puissants pour vérifier la conformité, contrôler les erreurs, et procéder à des revues de conception.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
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.
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.
Flexible, adaptable documentation of function and software models
Documentation flexible et adaptable des modèles de fonctions et de logiciels
Yet, they lack software tools enabling the application of efficient model checking algorithms.
Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking.
First, this thesis focuses on the software-based approach and proposes a general process that uses model checking to detect fault injection vulnerabilities in binaries.
Dans un premier lieu, cette thèse se concentre sur l'approche logicielle et propose une approche automatisée qui emploie les techniques de la vérification formelle pour détecter des vulnérabilités créées par injection de faute au niveau binaire.
Bi-directional synchronization between system models and software models
Une synchronisation bidirectionnelle entre les modèles de systèmes et les modèles de logiciels
The methodology is based on the extraction of a control flow graph representing the source code and the use of model checking to verify properties related to each feature found in the software program.
La méthodologie développée se base sur l'extraction d'un graphe de flux de contrôle représentant le code source et l'utilisation de model checking pour vérifier diverses propriétés reliées aux fonctionnalités du logiciel.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Our research develops mechanisms and tools for reliable software in the form of type systems, model checking, correctness by construction, constraint solving, theorem proving, analysis, synthesis, query processing, transactions, and actors.
La recherche porte sur les mécanismes et les outils pour des logiciels fiables sous la forme de systèmes de types, vérification automatique, construction correcte, résolution des contraintes, démonstration de théorèmes, analyse, synthèse, traitement des requêtes, transactions et acteurs.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 28045. Exact: 1. Verstreken tijd: 340 ms.
