Sentence examples for model checking techniques from inspiring English sources

Then, the paper presents the results of an application of these modeling languages to a practical case, showing that model checking techniques can also be adopted, given an adequate and domain-specific semantics of the object-oriented design model.

We implement the algorithms in the mbp planner by using symbolic model checking techniques.

It is precisely this abstraction that makes ADLs suitable for verification using model checking techniques.

We validate the design model with resort to model checking techniques.

Finally, the proposed model has been verified using model checking techniques available for graph transformation systems.

Unfortunately, sometimes real life system designs are too big to be directly analysed by traditional model checking techniques.

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

This paper proposes a verification process which can efficiently verify the translator's correctness using the model checking technique.

In the process, we take the self-adaptive architecture model and the model checking technique as the controlled object and controller, respectively.

In this paper, we demonstrate that model checking technique is a powerful tool that can formally validate the accuracy of fault trees.

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