Static analysis tools such as cflow and lclint are also mentioned.
Static analysis can be performed over one or multiple operations-bodies.
Static analysis of executable files with detailed information.
Analyse statique des fichiers exécutables avec des informations détaillées.
Static analysis evaluates a given budget by itself.
L'analyse statique consiste à évaluer un budget donné indépendamment.
Static analysis can be used as part of a comprehensive approach to assurance.
L'analyse statique peut être utilisée dans le cadre d'une garantie de compréhension globale.
Static analysis on specific syntactic criterion allows us to categorize some programs.
L'analyse statique nous permet de rechercher certains critères syntaxiques afin de catégoriser des familles de programmes.
Static analysis is one of the techniques that has anchored its presence in the verification of industrial scale softwares.
L'analyse statique est l'une des techniques qui a obtenu quelques succès dans la vérification de logiciels de nature industrielle.
Static analysis offers an interesting completely automatic alternative in that the specification can be chosen to be implicit.
L'analyse statique offre une alternative intéressante, complètement automatique, en particulier quand la spécification peut être choisie implicitement.
Static analysis and/or formal verification of large concurrent applications are again capacity limited by today's state-of-the-art tools and techniques.
L'analyse statique et/ou la vérification formelle de grandes applications concourantes sont encore de capacité limitée par les outils et techniques dernier cri d'aujourd'hui.
We provide testing tools for Static analysis, dynamic analysis and for code coverage.
Nous fournissons des outils de test pour l'analyse statique, l'analyse dynamique et la couverture de code.
Static analysis allows calculating the state of stresses and strains in a structure under the impact of constant in time forces applied to the model.
L'analyse statique permet de calculer l'état de contraintes dans une structure sous l'effet de forces appliquées au modèle constamment.
B. Static analysis (referenced by table A.)...
Analyse statique (référencée dans le tableau A.)...
Static reports Static analysis of steel structures, and detailed design of steel parts for manufacturing
Rapports statiques Analyse statique des structures métalliques et conception détaillée des pièces en acier pour la fabrication