Sentence examples for properties verification from inspiring English sources

For properties verification, we use OMEGA2/IFx profile and toolset.

The model has been validated through several experiments ranging from physical properties verification to testing on robot grasping applications.

The cooperative scheme is performed on a refined model from CDFG structure and three methods are employed to complete the properties verification interactively and collectively.

Object-based attention is typically detected in experimental paradigms involving visual property verification.

Each file contains the necessary filter calls and assertions used for property verification.

Further support for the theory that modalities play a pivotal role in concept representation comes from work on property verification (Solomon and Barsalou 2001; Pecher et alia 2003).

Property verification consists in deciding whether a property in a specific modality fits an object, for example, the auditory property loud for BLENDER and the visual property green for APPLE.

A multidimensional model is proposed, which supports the consistency verification, liveness and safety property verification, OCL constraints and LTL formula verification.

a Visual property verification (e.g., same or different color?) is facilitated when visual elements appear to belong to the same (top) rather than different (bottom) objects.

To investigate whether people competent in algebra impose perceptual objects on algebraic expressions, we adapted the property verification paradigm used previously to demonstrate object-based attention (e.g., Baylis & Driver, 1992; Zemel et al., 2002).

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.