Sentence examples for establish correctness from inspiring English sources

Then, by using the CTL formal language, we formalize basic criteria to establish correctness of the application.

Comparison of results is made with exact solutions, the fully explicit Runge Kutta numerical method, and other reported solutions of analytical and numerical solvers to establish correctness of the designed scheme.

According to this perspective, establishing correctness is an externally observable rule based activity.

However, in contrast to authors of ancient Greek mathematical texts, Liu did not set out to prove theorems so much as to establish the correctness of algorithms.

(A finer version of Cavalieri's principle was used by Zu Gengzhi in the 5th century to establish the correctness of the algorithm computing the volume of a sphere).

In model checking one uses algorithmic techniques to establish the correctness of the design with respect to a given property.

Besides the philosophers, computer scientists also use logic to develop programming languages and to establish the correctness of programs.

The comparative studies of the proposed solution are made with standard numerical results in order to establish the correctness of the given scheme.

We also report the results of the same flow at Re= 10,000 and compare them with some recent results to establish the correctness and accuracy of the scheme for solving unsteady flow problems.

Results for natural frequencies of corner-supported hyperbolic paraboloidal, cylindrical and spherical shells are presented and compared with those of other investigators to establish the correctness of the method.

Unfortunately, the common approaches and existing tools to formally establish the correctness of these systems remain hardly applicable to most legacy HPC applications, that are commonly written in Fortran or C/C++, using the MPI standard.