Sentence examples for models and verify from inspiring English sources

In this study, various typical defect cases are utilized to illustrate how to create VI models and verify the reliability of the proposed approach.

In tMDA, developers model system requirements with UML static and dynamic models and verify the correctness and consistency of different models.

Two prototype tools are also described that check the composability of components based on their interface models and verify that the implementation of a component matches its formal model, respectively.

This enables us to continuously evaluate the accuracy of previous adaptations, learn new adaptation rules based on executable run-time models, and verify the correctness of the adaptation logic in the current system context.

In Section 7, we evaluate the protocol under different mobility models and verify that the results hold even in the presence of mobility.

Generalized cross-validation (GCV) scores were used to compare the relative quality of the incidence of preterm predictions across these non-nested models and verify how well the models fit the data [ 35].

The predicted models for vibration and noise of metro depot were proposed based on existing models and verified.

A pivotal role of metastasis-inducing S100A4 in the development of tumor stroma has been proven in animal models and verified in human breast cancer biopsies.

Furthermore, we used null-models to test for significance of MaxEnt models and verified whether the models obtained differed significantly from what would be expected by chance, which is in accordance with the method of Raes and ter Steege [81].

Different from other compilers, MC can be used not only to compile programs but also to model and verify programs.

In this paper we demonstrate an initial attempt to model and verify Sandia National Laboratories Scoree processor using Event-B.