Sentence examples for 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").

In particular we compare collision checking techniques, sampling techniques, and node adding techniques.

"Of course, there are many checking techniques available today which weren't available in the past," Glendinning told the Associated Press.

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.