Sentence examples for mechanical verification of from inspiring English sources

The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the semantics highly rigorous yet simple, and provides support for the mechanical verification of program properties.

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.

The success in designing computer systems to provide mechanical verification of the proofs of some famous theorems has led some mathematicians to suggest that all future proofs be written in computer readable code.

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.

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.

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.  .

This paper presents the mechanical design, finite element simulations and experimental verification of an electromagnetically-actuated uniaxial high-speed nanopositioner.

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.