Sentence examples for checking is used from inspiring English sources

Automatic model checking is used to determine the error-free design of the SIS Safety Instrumented Systemm) and to find the logical errors in the chemical processes.

At the requirements level, model checking is used to validate the specification against a set of queries specified by the designer; at the process level, it is used to verify if the BPEL4WS processes satisfy the constraints described in the requirements model.

The checking is used for testing the generalization capability of the fuzzy inference system, and sees how well the model predicts the corresponding data set output values.

Posterior predictive checking was used to validate the number of newly inhabited regions in each time period.

Triangulation and member checking were used to enhance rigour.

Posterior predictive checking was used to assess model consistency with the data (13).

Member checking was used to ensure the rigor of the analysis.

- Double data checking was used to improve the quality of data entry.

Member checking was used to clarify whether emerging themes were an accurate reflection of the participants' experiences.

The triangulation of sources and member checking were used to ensure the credibility and trustworthiness of the research process.

In order to enhance this project's credibility and dependability, member checking was used to validate intermediate findings.