Sentence examples for checking correctness from inspiring English sources

For these cases we will not be measuring performance but checking correctness only.

The satisfiability of graph requirements by representations of designs allows for checking correctness of design solutions.

We show that in abstract model checking correctness kernels provide a simplification paradigm of the abstract state space that is guided by examples, meaning that this simplification preserves spuriousness of examples (i.e., abstract paths).

The density of rational numbers in (mathbb{R}) is useful in checking correctness of (3.6) with positive real number r instead of (frac{t}{s}).

Further we use ∆ as a matching algorithm for checking correctness of the biometric data, and the function δ k is used with secrete key k for encoding biometric fingerprint data using exclusive OR operation.

In a second study, primary care physicians and municipality care nurses were asked how much time they spend checking correctness of a patient's medication list when they were discharged from hospital to municipality care.

The changes imply that tools must do more work to check correctness of designs and generate corresponding code for simulation.

Proper arrangement of the markers was implemented in the database and scenarios of work were prepared, to check correctness of gathering information about the ultrasound scanner head orientation and position in the three-dimensional space.

2010) in order to check correctness of assumptions made in numerical modeling.

Having metadata and experimental design already stored provides means to check correctness of incoming data and can speed up processing.

One researcher extracted relevant text passages (i.e., type of article, intervention, the mentioned barrier or facilitator and context information), a second checked correctness.