Sentence examples for designed for checking from inspiring English sources

In this paper, we will present the results of a study designed for checking how much people over 75 years are interested by this new tool.

Not only are the quantitative demands considerable, the established assessment methodologies for PPPs and the existing organisational arrangements are also only designed for checking compliance of individual PPPs with legal acceptability criteria.

The decisions — invalidating badly designed systems for checking prospective voters' personal information and citizenship — will prevent many eligible voters from being denied the right to cast a ballot.

To assess the HASL defined measures we employ the COSMOS tool, a statistical model checker designed for HASL model checking.

We present our approach to automated environment generation that is based on behavior protocols [Plasil, F., and S. Visnovsky, Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, 28(2002)]; to our knowledge, this is the only environment generator designed for model checking of software components.

We compare it with the approach taken in the Bandera Environment Generator tool [Tkachuk, O., M. B. Dwyer and C. S. Pasareanu, Automated Environment Generation for Software Model Checking, 18th IEEE International Conference on Automated Software Engineering (ASE03), p. 116, 2003], designed for model checking of sets of Java classes.

The satisfiability of graph requirements by representations of designs allows for checking correctness of design solutions.

Such an approach may be used either for rapid assessment of structural behavior in the preliminary design or for checking the correctness of computational results in the final design.

A benchmark was designed and built for checking the dimensional accuracy of the tool making process.

The mockups of the conceptual blanket are designed and used for checking neutron property of the blanket by integral experiments.

A hybrid re-broadcast/invalidation report (IR) mechanism is designed in OUFO for checking the validity of cached data items so as to improve cache consistency and minimize the overhead of transaction restarts due to data conflicts.