Mr. Adelman added that he doubted that such verification techniques could be developed.

The experiments were conducted to demonstrate on-site verification techniques for two 1970's treaties that limit the size of underground atomic explosions.

Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour.

The two sides also plan to sign an accord providing for experiments in verification techniques at the American and Soviet nuclear test sites.

"We are willing to consider" such verification techniques, Ali said.

In modeling and simulation, verification techniques are used to analyze the state of the model.

His research interests are in the fields of concurrent systems, semantics and verification techniques.

The growth in complexity of designs increases the importance of formal verification techniques in the hardware industry.

Aki Yonezawa published his specification and verification techniques for Actors.

But Mr. Burns indicated that it could take years to work out satisfactory verification techniques.