Sentence examples for check a specification from inspiring English sources

ProB allows fully automatic exploration of Event-B models and can be used to systematically check a specification for a range of errors.

ProB is an animator and model checker for the B-Method that allows fully automatic animation of many B specifications, and can be used to systematically check a specification for a range of errors.

When you've decided on your specification, check a couple of the sites that supply Barebones and Shuttle computers and, perhaps, Dell to see how they compare on price.

Therefore, in this paper, we verify and check the specification, composition and architecture of the Expert Cloud via NuSMV model checker, Argo UML and Rebeca Verifier tools.

Do note, Apple has recently updated these models, so be sure to check which specification Apple sells on the day.

In order to check the specification bias, we conducted RESET tests (Ramsey [1969]) as described in Silva and Tenreyro ([2006]).

The use of VDM-SL toolbox has eased the model development, as we were able to check the specification and thereby could observe the consequences of our definitions.

3. Suppliers should check the specification of the products on the UNICEF online catalogue and asses if they can provide as specified in the catalogue, or a similar type of products.

To ensure the gear precision, industries need a coherent model to express, to analyse and to check geometrical specifications.

In order to check the specifications in realistic environments the EUMINAfab infrastructure consortium initiated a set of independent high precision onsite verification tests on different laser micromachining installations.

Measure your torso with a tape measure before you shop, so you can check the specifications on the backpacks you look at.