Sentence examples for techniques to check from inspiring English sources

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.

They also propose verification techniques to check if a composition of things fulfills or violates the behavior of those things.

Abstracting a continuous dynamical system by a hybrid linear automaton allows to use formal verification techniques to check properties of hybrid systems.

CloudRadar [17] monitors co-located VMs using a combination of signature-based and anomaly-based detection techniques to check for abnormal cache behaviour.

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.

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.

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