static analysis in Vietnamese

@Chuyên ngành kinh tế
-phân tích tĩnh thái
@Chuyên ngành kỹ thuật
@Lĩnh vực: xây dựng
-phân tích tĩnh
-sự tính toán tĩnh định
-sự tính toán tĩnh học

Sentence patterns related to "static analysis"

Below are sample sentences containing the word "static analysis" from the English - Vietnamese Dictionary. We can refer to these sentence patterns for sentences in case of finding sample sentences with the word "static analysis", or refer to the context using the word "static analysis" in the English - Vietnamese Dictionary.

1. 13 Plane truss structure static analysis program!

2. CodePeer – An advanced static analysis tool that detects potential run-time logic errors in Ada programs.

3. Research topic: automatic verification of the safety of software using formal methods, static analysis by abstract interpretation.

4. MALPAS – A software static analysis toolset for a variety of languages including Ada, C, Pascal and Assembler (Intel, PowerPC and Motorola).

5. The static analysis of the structure is used in order to fix the critical deformation state and hence the critical strain energy.

6. Unlike the Mononobe–Okabe method, which incorporates pseudo-static analysis, the present analysis predicts a nonlinear variation of active earth pressure along the wall.

7. A Buckling analysis should always be performed to check for Buckling of slender members under high axial stress because a linear static analysis cannot detect this type of failure

8. This technique is a valid way to keep the system secure, but because there is no real sanitization of the data (only conditions on it), current static analysis tools do not properly analyze such code.

9. Another example of using Assertional reasoning for proving atomicity is the work by Wang and Stoller [37], which uses static analysis combined with model checking to verify atomicity of code blocks involving lock-free synchronization primitives