Sentence examples for model checking support from inspiring English sources

On the one hand, in Landrace, results in terms of posterior predictive model checking support a model without any form of recursion or, alternatively, a SMM with diagonal covariance matrices for all random effects considered, i.e. additive genetic, permanent and temporary environmental effects.

Model reliability checking supported the results of the regression analysis.

To support model checking for composition and verification of Web services against a pre-defined goal in an effective manner, our work suggested representing a repository of Web services as a mathematical model, based on Labelled Transition System (LTS), known as LTS for Web Services (LTS4WS).

Model checking indicated greater data support for the log-normal than the Cox model, with Cox and Kaplan Meier estimates being more similar.

The model checking layer comprises all supported model checking algorithms.

In our case, to reach a better accuracy, we calculate explicitly the vibrational frequencies of the adsorbates in O2** and O* states, as well as in the dissociation transition state of the elementary reaction O2** ⇄ 2O*, and use these data to calculate all partition functions in our M-II model (check the Supporting Information for details).

Internally, the framework builds on semantic technologies to provide substantial support for model checking and model transformations.

We propose a model-based approach that integrates the architectural models with component-aware model checking, and describe its tool support called ViTAL.

Mocha supports invariant model checking directly (to check that all reachable states satisfy some property that relates to the values of variables in the state), as well as model checking of safety properties using monitors (to check that all executions satisfy some property).

DiVinE is a general distributed verification environment meant to support the development of distributed enumerative model checking algorithms including probabilistic analysis features used for biological systems analysis [ 40].

Model checking the design of a software system can be supported by providing an interface from a high-level modelling language, which is suitable for describing software design, to a given model checking tool.