Sentence examples for model checking technique from inspiring English sources

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

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

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 aim is to search for a pattern of events expressed in formal language using the model checking technique.

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

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 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.

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

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