Sentence examples for techniques for verifying from inspiring English sources

Except for the tape or video recorder, techniques for verifying oral testimony have perhaps progressed little since Thucydides.

How might conventional military imbalances be managed in a nuclear-free world, without cascading back towards the carnage that blighted the first half of the 20th century?The British government has taken a lead, co-operating with the Norwegians to explore techniques for verifying warhead dismantlement without giving nuclear secrets away.

The development of techniques for verifying the integrity of data in a cloud domain has also been the focus of recent academic works.

This chapter explains all sources of data and information for reservoir modeling, reservoir characterization, analytical and numerical models, and techniques for verifying the constructed models.

So, it is indispensable to develop techniques for verifying and debugging quantum cryptographic systems.

Amir Pnueli, who turned a philosopher's explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan.

Model checking is an automatic technique for verifying finite state concurrent systems.

The "J-sign" is a technique for verifying radial head subluxation and demonstrating successful reduction that was derived prospectively [243].

Model checking is an automatic technique for verifying properties of finite concurrent systems on a structure that represents the states of the system; the crucial point of the technique is to avoid the computation of all the possible states.

We show that using a controlled natural language with a reasoner and a query engine is a viable technique for verifying the consistency and accuracy of documentation and source code.

The four main ingredients of the methodology are: (1) The inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, (3) a fully automated procedure to derive concrete adaptors from given high-level specifications, and (4) an effective technique for verifying properties of adaptors.