Sentence examples for model verification using from inspiring English sources

Extensive discussion of related issues in [12 14] stresses the importance of rigorous model verification using a wide variety of methods.

In addition, the model was subjected to model verification using a visual predictive check [ 11].

Model verification used real time fluorescence-based measurements of chemical oxygen demand and volatile fatty acids at four sampling locations in the reactor.

In system model verification, use of prospective simulations and large compound datasets could help identify model limitations.

A tree was built using RAxML 8.2 (Stamatakis 2014) with a GTR+GAMMA model, with verification using 1,000 fast bootstrap replicates.

This study further proposes a subsequent model verification study using a Delphi method with four rounds of surveys.

The results of model verification tests using laboratory experiment and CFD simulation showed that the surface tension factor was 0.048 N m−1.

It is precisely this abstraction that makes ADLs suitable for verification using model checking techniques.

The experimental results showed that, unlike theoretical verification, using model and prototype systems with different materials resulted in an erroneous scaling natural frequency.

This paper proposes a method enabling to state formal properties of a logic controller, a prerequisite for formal verification using model-checking, from a fault-tree analysis taking into account both the controlled process and the controller.

Exploiting the symmetry of UML models induced by objects being instances of classes, the restriction to finite bounds can be overcome applying [K.L. McMillan, A methodology for hardware verification using compositional model checking, Science of Computer Programming 37 (2000) 279 309].