The phrase "application of this verification" is correct and usable in written English.
It can be used in contexts where you are discussing the implementation or use of a verification process or method.
Example: "The application of this verification is crucial to ensure the accuracy of our data."
Alternatives: "implementation of this verification" or "use of this verification".
This section demonstrates the application of the verification procedure in the hearing instrument domain, based on experiments with hearing instruments.
This chapter focuses on the application of functional verification to a project.
In this paper we present an application of formal verification techniques to a component-based SDL model of a railway signalling system lent by General Electric Transportation Systems.
This, in turn, led to our breakthrough application of carrier verification as a method for creating clean data sets, which is now the cornerstone of all our data solutions at Emodo.
It should then come as no surprise that algorithms that tend to do well on some SAT instances do not perform so well on others, and efforts are being spent in designing hybrid algorithmic solutions that combine the strength of complementary approaches see (Prasad, Biere and Gupta 2005) for an application of this hybrid approach in the verification of hardware design.
Dill has interests in the theory and application of formal verification techniques to system designs, which encompass hardware, protocols, and software and in computational systems biology.
We report on the application of formal verification in the safety analysis of two level crossing controllers that were industrially designed using Scade Suite.
- interactive application of a verification condition generator, an algebraic simplifier and a theorem-prover; Within each unit (i.e. segment of a problem), the interactive use is aimed at reducing verification conditions to manageable proportions so that the non-trivial factors may be analysed.
The application of typical verification and design models for concrete structures is a logical and in most cases also a comfort solution.
To our knowledge, these analyses are the first application of forecast verification methods to a predictive disease transmission model.
