Sentence examples for verification automatically from inspiring English sources

Verification : Automatically validating the model against the specification.

In this case, the initial phase of election verification began automatically because Florida Statutes, Section 102.141(4), compels machine recount for electoral differentials of 0.5percentt or less.

If the verification is automatically performed by a model checker however, time can be saved, and errors can be prevented.

The calibration and verification procedures were automatically performed by the computer program in order to minimize the environmental noises and human effects.

Designers, sometimes, also set up the layout verification tool to automatically find the density problems and fill the area with the dummy layer.

Lacking benchmark datasets, we resorted to our own evaluation around manual verification of the automatically extracted information.

Then, we propose and apply both asynchronous and synchronous model checking methods, which extend our previous verification technique, to automatically and formally analyze the ER-Golgi-regulated signaling pathways in the cell cycle progression through verifying some computation tree temporal logic formulas.

The consistency of these specifications can be guaranteed by proving that some automatically generated verification conditions are valid.

This verification could be triggered automatically, or it could be made at the request of the site's webmaster, Google explains in an announcement.

This would allow researchers to explore the dataset and visually formulate hypotheses from the visualization environment with simple interactions, with the computer translating the qualitative hypotheses into statistical tests that are performed automatically for verification.

During formal verification, model checker can automatically and exhaustively search the state transition system M to verify or falsify the specified temporal logic formula   ψ.