Sentence examples for verification technique for from inspiring English sources

Thakkar et al. [15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols.

Assertion checking is one of the dynamic verification techniques for simulation model.

Proof methods are important for developing verification techniques for these complex multi-modal logics.

This chapter provides an introduction to the formal verification techniques for such high-level design descriptions.

This paper discusses the profile verification techniques for free-form surface inspection with and without datums.

This concluding chapter sums up the formal analysis and verification techniques for high-level design descriptions presented throughout the book.

We introduce finite-state verification techniques for the π-calculus whose design and correctness are justified coalgebraically.

In this paper we assess and apply the use of formal verification techniques for analysing the emergent behaviours of robotic swarms.

The algebraic models provide: (i) modular descriptions of pipelined systems; (ii) equational correctness criteria; and (iii) equational specification and verification techniques for the design of pipelined systems applicable to a range of software systems.

The measures described here are standard verification techniques for establishing quality, validity and rigour in qualitative research [ 10, 11].

This paper introduces a new verification technique designed for, but not limited to, quantitative precipitation forecasts.