Sentence examples for checking method that from inspiring English sources

This paper proposes a DbC notation for the above problems and a checking method that uses behavioral subtyping to clarify the exact location where an error occurs.

We present a temporal logic and an associated model-checking method that attempt to fulfill these criteria.

Use the best preg-checking method that is recommended by your vet or what is accessible to you.

This chapter presents a model checking with abstraction method that mainly checks synchronization properties for concurrent processes.

In Chapter 4, we introduce the basic concepts of Formal Property Verification (FPV), an FV method that checks whether a set of properties, usually specified as assertions, is true of a given piece of RTL.

Model checking is a formal method that is able to exhaustively analyse the behaviour of a model against a formally written specification.

The way she finally mastered driving and signing checks is the same method that has served her in mountain climbing--she concentrates completely, and she goes at her own pace.

Make sure you can pay the rent by check or another payment method that leaves a paper trail.

We present a method that allows to check non-Zenoness on a restricted subclass of real-time processes.

They manually checked the papers proposed by our method that were not tagged as 'case reports', and they classified them as relevant when describing a clinical case of CTX.

Blood pressure was continuously monitored through a blood pressure recorder (Ugo Basile, Varese, Italy), a non invasive method that allows to check on a display the systolic and diastolic blood pressure of rat during the surgical procedures by the application of a tail cuff.