Sentence examples for model and checks from inspiring English sources

A model checker explores the full state space of a given model and checks it against a set of requirements.

The program iterates over all atoms of the set and all nodes of the pocket model and checks for each node/atom pair if one of the rules given in Table S1 is satisfied.

We thus use a fixed observer model and check stability and performance thanks to μ-analysis.

In this paper we describe the model and check that it has the proper behaviour in the two regions.

Second, there is no relevant interface model in SE with which engineers can model and check system interoperability requirements.

A SMR drive simulator is further developed to validate the model and check the performance impacts of different drive parameters.

This model is able for testing the dynamic behavior of this integrated process, obtaining a reduced order linear model and checking any plant-wide control structure design.

Moreover, simulation results are shown in this study in order to validate the analytical model and check the small impact of the necessary simplifications done.

Therefore, we conducted an IRT analysis by establishing a four-dimensional partial credit model and checked for EAP/PV reliability of these four scales.

Having found an additional QTL on chromosome 2, we built a refined multiple-QTL model and checked for epistatic interactions between these three QTL (Broman and Sen 2009).

Using a sensable haptic manipulator, the planned resection planes were placed on the 3D model and checked against the position of the tumor.