Sentence examples for determine correctness from inspiring English sources

One of the great benefits of using stream X-machines, for the purpose of specification, is the associated test generation technique which produces a test that is guaranteed to determine correctness under certain design for test conditions.

If Turner (2011) is right, in computer science, the abstract partner is the dominant one in the relationship: it determines correctness.

This means that simply talking about hydrogen in a response is not indicative of a level 1 or 3 response, but the relationships to other ideas with hydrogen are critical for determining "correctness" of a response.

Rules 15 and 16: to determine the correctness of a reply informaiton.

(3) Rules for handling a response and clearing temporal information: (i) Rules 15 and 16: to determine the correctness of a reply informaiton.    .

Because mobile devices can freely participate in MRM, it is critical to have authentication technology to determine the correctness of information regarding resources.

Even for an FEC block without any error detection mechanism, the receiver still can use the threshold method proposed in [19] to determine the correctness of the decoded block.

Under certain design for test conditions, this method produces a test suite that can determine the correctness of the implementation under test (IUT), provided that the processing functions of the stream X-machine specification have been correctly implemented.

On Ginsborg's account, however, the (primitive) normative attitudes required for genuinely meaningful use of linguistic expressions do not determine semantic correctness conditions for these expressions –– that job is to be done by the speaker's basic dispositions to use them.

In a wide class of problems that we characterize formally in the paper, these methods allow us to find generalized plans with loops for solving problem instances of unbounded sizes and also to determine the correctness and applicability of the computed generalized plans.

Under certain design for test conditions, this method produces a test suite that can determine the correctness of the implementation, provided that the processing functions of the stream X-machine specification have been correctly implemented (this can be checked by a separate testing process, using the same method or alternative functional methods).