Sentence examples for checking can be from inspiring English sources

The diagrams remaining after checking can be used in the structure generation process.

Even model checking can be used to analyze code transformations [30].

Based on the formal model, the method of model checking can be applied to determine algorithmically whether the system fulfils a set of given safety requirements.

These equivalence checking and model checking can be realized by first translating the HW/SW design descriptions into FSM type representations.

In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms.

Note that because modern SAT solvers are extremely powerful, this approach to model checking can be implemented with problems of real-world scale.

Therefore, the properties we want to check can be verified in TA network correspondingly.

Billy Ray wrote, directed and proved that backstage journalism can make entertaining moral drama and fact-checking can be fun Friday at 5 p.m. on Cinemax.

The check can be sobering.

American Express traveler's checks can be changed at most hotels.

Checks can be mailed to The New Yorker, P.O.