Sentence examples for reduces the verification from inspiring English sources

We present a semi-automatic technique that reduces the verification of security properties of protocols to the verification of correctness in component-based systems.

The proposed automated verification approach reduces the amount of manual work on the verification step in TV industry.

An increase in CO tolerance limit is expected to reduce the analytical verification cost (quality control).

In this way, the responsibility of key verification is concentrated heavily on these vertices, which reduces the total amount of verification necessary, and is thus more efficient.

Our results show that verification reduces the spread of false information, albeit moderately, and the effect is mainly observed when verification is endogenous.

This eases verification and reduces the cost for safety licensing.

Meanwhile, its transmission model reduces the costs of transactions, enables verification and efficient exchange of ownership, and opens the door to real-time micropayments.

A verification procedure reduces the set to those pixels that are likely to contribute to accurately locate the eyelid edge.

While this approach reduces the time spent on security verification requests, there is a disconnect between cached security state on the service provider's side and actual security state on the security provider's side.

The experimental results indicate that our approach can reduce the cost of verification compared with the global verification approach.

The verification set is used for early stopping [35], which reduces the tendency to overtrain.