Sentence examples for mechanical verification from inspiring English sources

In the mechanical verification of programs containing loops it is often necessary to provide loop invariants additionally to the specification in the form of pre and postconditions.

This paper describes the most relevant aspects of the mechanical design of the HHF components, focusing on the thermal and mechanical verifications.

To support mechanical verifications using FDR (a model-checker for CSP), we derive test characterisations from the denotational definitions of conformance.

Rando phantom was used for mechanical isocenter check and used as dose delivery verification check devices.

In this paper, by using the means of numerical simulation and experimental verification, mechanical behavior of three-branch cast-steel joints in the tree-like column structure under eccentric load was studied.

In the case of aircraft this involves extensive inspections of structural and mechanical items, including functional verification of equipment such as control surfaces and systems, landing-gear operation, avionics performance, weapons-systems interfaces, and personnel (crew and passenger) environmental conditioning.

In this work, a prototype nitinol foam cage (NFC) incorporating SMP foams has been designed and evaluated in multiple mechanical and in vitro verification tests.

This comparison allowed a verification of the "mechanical expansion theory" which is useful to compute the refractive index field.

Automated image correlation allowed verification of the mechanical modelling and a reduced stress strain model is proposed to explain the special fracture mechanism.

(3) Non-destructive density measurements with the X-ray technique only on structural elements in the Vasa warship for the prediction and verification of the mechanical properties from the relationships established in Step 2.  .

The paper examines the influence of waste content on the properties of cement matrix using the verification the physic-mechanical properties.