Sentence examples for use of static analysis from inspiring English sources

Hence, several specifications advocate the use of static analysis.

We define several techniques that involve using the results of static analysis to identify some cases where instrumentation can safely be removed.

This turns expectable a relevant level of confidence in the final output which will be used in the next step of static analysis.

The difficulties of using this approach in other fields, as well as the fact that historical changes are difficult to include in this sort of static analysis, strengthen the objections that many workers in the field have raised against it.

The specialization is guided by various types of static analysis, including data type analysis and analysis of reconfiguration.

Without these techniques, this kind of static analysis would be almost impossible.

The existing recommendations on cable stayed bridges propose the use of a static analysis with a dynamic amplification factor of 2.0 for evaluating the response of cable stayed bridges to the sudden loss of a cable.

There are also the limitations inherent to the use of a static analysis tool (i.e., inheritance, polymorphism and virtual calls) (Robillard and Murphy 2003), however the limitations of this study are similar to the ones imposed on the other empirical studies with similar goals (Figueiredo et al. 2008) (Coelho et al. 20082011) (Ferrari et al. (2010).

Its objectives are to quantify the relative importance of the accidental ultimate limit state of failure of a stay in the design of the bridge, and to determine the safety level provided by the simplified procedure of using a static analysis with a D.A.F. of 2.0.

Finally, the results of full analyses under both loading regimes were compared and dynamic increase factors (DIF) were proposed to assist predicting the impact response of these types of connections using the static analysis.

Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be.