Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
static code analysis and formal methods
Examples with "static code analysis and formal methods" and their translation in Frans
Learn 7 ways to make your embedded software safe and secure with static code analysis and formal methods.
Reportez-vous aux façons de rendre les logiciels embarqués sûrs et sécurisés avec les produits Polyspace.
Andere resultaten
Check compliance of models and code using static analysis and formal methods
Vérifier la conformité des modèles et du code en utilisant une analyse statique et des méthodes formelles
Automated static code analysis using formal methods for C/C++ and Ada
Analyse statique automatique du code à l'aide de méthodes formelles pour C/C++ et Ada
The HARMONICS project also investigated static source code analysis and formal verification.
Le projet HARMONICS a également travaillé sur l'analyse du code source statique et la vérification formelle.
This method is implemented by several static code analysis tools that produce the defined indices and indicators.
Plusieurs outils d'analyse statique de code l'implémentent et produisent les index et les indicateurs définis par la méthode.
This can be done using several methods like software simulations, static formal analysis and FPGA/hardware emulation.
Cela peut être effectué en utilisant différentes méthodes tels que la simulation logiciel, l'analyse formelle statique ou l'émulation.
Using static analysis with formal methods, you can prove the absence of run-time errors under all possible control flows and data flows.
En utilisant l'analyse statique avec des méthodes formelles, vous pouvez prouver l'absence d'erreurs d'exécution pour tous les flux de contrôle et de données possibles.
We present a formal framework, inspired from static analysis, based on the abstract semantics which is instantiable to several components of the code generator.
Nous présentons un cadre formel, inspiré de l'analyse statique, qui s'appuie sur la sémantique abstraite et qui est instanciable sur plusieurs composants du générateur de code.
Research topic: automatic verification of the safety of software using formal methods, static analysis by abstract interpretation.
Thème de recherche: vérification de la sureté des logiciels par des méthodes formelles automatiques, analyse statique par interprétation abstraite.
Operation of the tool is based on static analysis, but makes use of a variety of techniques, for example methods of dealing with obfuscated code.
Le fonctionnement de cet outil est basé sur une analyse statique, mais utilise des techniques variées, par exemple des procédés de traitement de code obscurci.
SPARK Pro is an integrated static analysis toolsuite for verifying high-integrity software through formal methods.
SPARK Pro est une boîte à outils d'analyse statique intégrée pour la vérification de logiciels hautement critiques par le biais de méthodes formelles.
Capable individual programmers who use static analysis and participate in formal code inspections of their work produce better code for about half the cost of pair programming.
Des programmeurs expérimentés utilisant des outils d'analyse statique et participant à des revues de code formelles produisent un meilleur code pour environ la moitié du coût de la programmation en binôme.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
Polyspace Code Prover utilise l'analyse sémantique et l'interprétation abstraite basée sur des méthodes formelles pour vérifier le comportement interprocédural, de contrôle et de flux de données du logiciel.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 3114344. Exact: 1. Verstreken tijd: 472 ms.
