Sentence examples for approach for the verification from inspiring English sources

This paper presents an automated and effective approach for the verification of information flow control for business process models.

In this paper, we propose an approach for the verification of systems using reconfiguration as means of adaptation.

This paper presents a novel approach for the verification of multisensor data fusion algorithms in complex automotive sensor networks.

In this paper, we are laying the foundations for a new and systematic approach for the verification of discrete event systems with time constraints.

We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design.

Suitable approaches for the verification and identification scenarios can be different in principle.

Finally, "Conclusions" Section presents the conclusions of this work, highlighting the importance of SMT-based BMC approaches for the verification of fixed-point filters.

The main objective of this study is to present the results of mathematical and statistical approach for verification the declared properties of the RFID transponder are which intended to serve as a basis for implementation of the proposed system into real conditions of the practice.

The proposed approach is suitable for the verification of any code that solves the VANS equations with any CFD technique such as the finite element method or the lattice Boltzmann method.

This approach is necessary for the verification of the clinically suspected diagnosis of acute viral myocarditis as well as for the diagnosis of rare pathogenic entities of acute myocarditis (i.e., giant-cell myocarditis, hypersensitivity myocarditis, eosinophilic myocarditis) aiming at specific treatment strategies (e.g., immunosuppression) at this very early stage of the disease.

The contribution of this approach is threefold: first, unlike existing approaches, it allows for the verification of several requirements at once.