Sentence examples for model checking based from inspiring English sources

In [2 4, 13, 14, 39], the authors propose model checking based approaches for reliable smart environments.

Then, the subsystems with a desired behaviour that can (resp. cannot) be easily specified manually are designed using a model checking based approach (resp. our approach).

The advantage of model checking based approaches is that several methods have been proposed for the reduction of the verification cost.

We show that the TECTLK model checking problem is decidable, and we present an algorithm for bounded model checking based on a discretisation method.

Leveraging upon the exhaustive nature of model checking based verification, we propose to use a model checker to formally verify task migration algorithms.

Moreover, a model checking based verification approach is also integrated in the method to verify the discovered business process against the desired business requirements from analysts.

The accuracy of the model was checked based on the statistical data given in Table 7.

Such as the accuracy and predictability of the proposed models were checked based on the domain of applicability (AD), the Y-randomization and by comparing key statistical indicators, such as the R or R2 of the obtained models, as shown in Table 7.

The parameters of the model are computed using model checking technique based on the biological observations (see "Methods").

Generalized Symbolic Trajectory Evaluation (GSTE) is an alternative model checking technique based on particular automata to specify the properties.

We apply the heuristic search to model checking engine based on the characteristics of Web service, so the verification performance is improved significantly.