Sentence examples for verification the correctness of from inspiring English sources

However, if one wishes to infer from such a verification the correctness of the code which runs on the actual target architecture, it is essential to prove that the high-level representation is correctly implemented at the lower level.

Here P I ≡ ( ( f ( U ), ϕ i ) ) i ∈ I. System (4.4) is in fact a bilinear system of equations whose right-hand side consists of intervals with constraint conditions z I Γ ≥ 0 and w I Γ ≥ 0. To solve the nonlinear system (4.4) with automatic verification of the correctness of the result, a verification method for nonsmooth equations by a generalized Krawczyk operator as in [15] could be used.

We use different mathematical and cryptographic methods to enable efficient verification of the correctness of the computation results.

Thus, the verification of the correctness of the vendor results is important.

Furthermore, the concise formal semantics of synchronous languages is the basis for formal verification of the correctness of the programs as well as of the used compilers [7 10].

Fourth, motivation is to allow formal verification of the correctness of a design, and the final motivation is to allow automatic synthesis of circuits.

The calculation of isosteric enthalpy from an adsorption equation, and the comparison of theoretical enthalpy plot with the values measured calorimetrically is the fundamental condition for the verification of the correctness of an adsorption model.

The verification of the correctness of the functional requirements is supported by means of a robot simulation tool that reflects the progress of the system at the application level.

In this paper we propose an approach based on the HAL Toolkit that allows verification of the correctness of the behavior of a π-based specification of interacting Web Services, and generates the BPEL processes that have the same behavior.

As a verification of the correctness of the derived equations, some of the system parameters are adjusted to fit the SVP constraint, and unwarped images using the resulting simplified camera model are shown to be of no difference from those obtained by a method based on the SVP model.

E. Haentzschel later ordered verification of the correctness of Meissners congruence via only elementary calculations.