Sentence examples for technique to check from inspiring English sources

Kim et al. [62] describes a method using static analysis and the model-checking technique to check program-segment timing, similarly to what is done here.

In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether temporal properties are satisfied on all the possible behaviours of the system.

It might be used also as a safeguards technique to check the operator declared information.

Dr. Jackson said this technique was of interest not just to public health officials, but also to criminal investigators, who might use the technique to check an alibi.

They made their discovery when they were using a radioactive dating technique to check the ages of small stalagmites occupying a number of caves in the Midwest.

X-ray of extremities was performed, in addition to the laboratory tests including serum calcium, phosphorus, and alkaline phosphatase as well as direct immunofluorescence using flow cytometry with dual staining technique to check for apoptotic changes in peripheral lymphocytes.

The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study.

Use Enrico Fermi's guesstimation techniques to check the plausibility of data-based claims.

Hence, this paper focuses on the applicability of formal verification techniques to check time performances.

Once the migration had finished, we employed the same techniques to check each document in Postgres matched Mongo.

Today, doctors performing in vitro fertilization use various techniques to check embryos for genetic problems, such as mistakes in chromosome number, before they are transferred to the uterus.