Sentence examples for verification of the software from inspiring English sources

The design, implementation and verification of the software system show the value of a modern test-driven development approach.

An experimental verification of the software was then performed, using an ED pilot with an industrial type of stack and sodium chloride model solutions.

The development and verification of the software have been carried out using uni-axial crosswelded testpieces in which the plane of symmetry of the V-weld preparation is orthogonal to the tensile loading axis.

This paper describes the Single Event Effects (SEEs) requirements verification of the boot software that will run in the Instrument Control Unit (ICU) of the Energetic Particle Detector (EPD) on-board Solar Orbiter.

To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of Safety Integrity Level SIL 3, a dedicated, low complexity execution platform is presented.

In the field of nuclear engineering, techniques of automated reasoning are deemed mature enough to assist in the formal verification of the safety-critical software responsible for controlling a nuclear power plant's reactor prevention systems (RPS).

Geological and hydrogeological settings such as the low, but still measurable, groundwater flow through the BTES and the aquifer below the BTES with its higher flow rate enable the investigation of the thermal effect of a BTES on the subsurface and the verification of the developed simulation software.

Supporting the analysis and the verification of software systems developed following the MDE paradigm requires to adopt incrementality when carrying out these crucial tasks in a more optimized way.

It is the design and verification of complex software systems that require to be addressed at the architectural level, following methodologies which permit us to clearly identify and design the components of a system, to understand precisely their interactions, and to formally verify the properties of the systems.

With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive software tools supporting executable formal specifications is even more evident.

Although the terminology is not uniform across engineering disciplines, code verification deals with assessing the reliability of the software coding, and solution verification deals with assessing the numerical accuracy of the solution to a computational model.