verification

Examples of verifying

verifying

In English, many past and present participles of verbs can be used as adjectives. Some of these examples may show the adjective use.

Because there is a relatively small extant literature on precocious talkers, we took the preliminary step of verifying parent-reported precocity.
X-ray radiography of the implosion was used to verifying that the system behaves in general as designed.
The function works by recursively decomposing the pair of received messages and adding the cores to the environment, verifying consistency whenever anything has been added.
Onedimensional results were checked, verifying that the analytic solution of the differential equation exactly matched that obtained numerically from the integral equation.
Verifying systems with infinite but regular state spaces.
Clear and measurable goals should be agreed by all sides, and procedures for verifying whether they have been met should be established.
This standard construction is usually accompanied with some definition of a conditional entropy-a tool useful in verifying properties of entropy.
The findings also highlight the complexities involved in verifying the stated relationships between donor and recipient and the low monitoring capacity of regulatory authorities.
We develop a process for automatically predicting program event traces at compile-time and for statically verifying properties of traces.
Much of the effort in mechanizing semantics today is focused on automatically generating or verifying proofs of the meta-theory of a semantics.
We leave to the reader the task of verifying ø that this assures the desired universality property.
In this paper we present methods for verifying programs with delay declarations.
The calculus is a vehicle for designing, understanding, verifying and comparing implementations of the ^.-calculus, from interpreters to machines.
The approach allows rigour in a way that is similar to the use of formal methods in verifying computer programs.
We have proposed an approach for verifying automatically a complex algorithm which is industrially relevant.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.