Sentence examples for widely used verification from inspiring English sources

Simulation-based verification is currently the most widely used verification technique in the industry.

Model checkers have been widely used for hardware verification, which allow the verification of the different properties in discrete systems.

Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems.

Simulation techniques at various design levels are widely used for the verification of designs.

The most widely used dosimeter for verification of spatial dose distributions is the polyacrylamide gel (PAG) dosimeter.

The numerical simulation of the mechanical behavior of industrial materials is widely used for viability verification, improvement and optimization of designs.

While fire tests are still widely used for the verification of the separating function of light timber frame assemblies, design models are becoming increasingly common.

It is also widely used in the verification of odontoblasts [ 36, 40– 40].

Face recognition based on spatial features has been widely used for personal identity verification for security-related applications.

Predicate abstraction and our contribution: The method proposed in this paper is based on using abstraction techniques which nowadays are widely used for formal software verification (see e.g. (Graf & Saidi 1997; Bensalem et al. 1992; Clarke et al. 1994; Dams et al. 1994; Long 1993)).

1-D engine simulation models are widely used for the analysis and verification of air-path design concepts and prediction of the resulting engine transient response.