Sentence examples for verification methods were from inspiring English sources

The proposed verification methods were implemented in the SGM CTL model checker and applied to real-time and embedded systems.

Auxiliary verification methods are gaining ground in practice.

The main properties being verified within this framework and the corresponding verification methods are presented.

Thus, the tight integration of different verification methods is very promising for academic and industrial work.

Functional errors in analog portion of mixed signal circuits become more severe and improvements in verification methods are increasingly important.

Hence new cyber physical production systems (CPPS) design and architecture principles as well as corresponding validation and verification methods are necessary.

Signature verification methods are largely classified into two classes: One is the offline method based only on static visual information, and the other is the online method based on the dynamics of handwriting process with a major advantage over the first method in that it is very difficult to forge or copy the dynamics which are invisible.

General verification method is presented in Fig. 1.

The emerging assertion-based verification method is explained in detail.

Then a consistency verification method is introduced to guarantee the consistency of the interoperation ontologies.

A purpose-designed verification method was applied to determine whether the thresholds corresponded to the effective control of erosion.