Sentence examples for model checking by from inspiring English sources

The verification process achieved by Rodin includes: (1) model checking: by ProB [20] model checker integrated in Rodin and (2) theorem proving: by generating and proving proof obligations.

Model checking by testing whether the estimated model conforms to the specifications of a stationary univariate process.

We therefore suggest an efficient algorithm in which the abstract model is constructed during model checking, by need.

The sponsor obtained clinical advice regarding inputs from a single clinician and did not have their model checked by clinical advisers.

Posterior predictive simulation was used for model checking as described by Gilks et al. [ 28].

Such rigour is provided by formal methods and aided by model checking.

The verification is performed on a predicate/transition net explored by model checking.

These two rules are investigated by applying model checking approach in a quantitative manner.

We performed model checks by carrying out residual analysis and confirmed the normality of residuals [ 37].

Final models were checked by model diagnostic techniques such as residual analysis and influence statistics.

The overall stability of the PvTRAg33.5 model was checked by a molecular dynamics simulation using the CHARMm [34] module on a fully hydrated model.