Sentence examples for by checking that the from inspiring English sources

As a result, verification of system properties can be carried out by checking that the formula describing a system implies the formula describing a requirement.

An authority does this by checking that the site is genuine before combining its private key with the website's public key to create the certificate.

Moreover, we have validated the robustness of our approach by checking that the performance remains remarkably unaffected for different sets of alternative BACH parameters (see Methods).

We address the problem of stale data with the certification test by checking that the values read are still up-to-date.

The pharmacy should confirm that compounded drug is not intended for use in food-producing animals by checking that the prescription or accompanying document contains the statement "This patient is not a food-producing animal".

OCB encryption essentially makes the payload and nonce nonseparable in cipher-text, and a receiver can thus verify authenticity of the message by checking that the nonce obtained post-decryption matches the expected counter value.

This is achieved by checking that transduction of the marker to a particular location does not affect the producer features (growth rate, desirable product yield, etc).

The adapted recursion avoids branches where conditions (1) or (2) are violated by checking that, for opposed block indels, the current block is not a prefix of the last block and returning otherwise.

A straightforward way to look after and safeguard your engine from overheating is by checking that it has the appropriate quantity of coolant flowing inside the engine's cooling chambers.

We validated the model by checking that it also reproduced the patterns of reported mutants.

The values of 120 and 300 ms were chosen by checking that a plane wave reaches the end of the tissue for the case of ϕ = 0.45 after 60 ms (240 ms) for longitudinal (transverse) propagation.