Sentence examples for verification of time from inspiring English sources

For automated systems with level of security, the verification of time requirements is an essential part of the process validation system.

The authors suggest that sufficiently good theoretical and practical basis exists for building a test-bed that would assist in merging recent development trends in software engineering and artificial intelligence, and enable verification of time correctness of agent interaction.

This paper represents a methodology for design real-time systems, verification technique and their capability for verification of real-time requirements with time-bounded constraints e.g. time limits).

We have presented SYMRT, a timing analysis tool that uses a combination of symbolic execution and model checking to achieve flexible and tight verification of timing properties of real-time Java systems.

To support the specification and verification of real-time systems using timed MSC, we need to define its formal semantics.

Madl et al. [20] present how distributed real-time embedded systems can be represented as discrete event systems and propose an automated method for verification of dense time properties of such systems.

Certified reference standards (OA, DTX-1, and DTX-2) from the National Research Council (Halifax, Nova Scotia, Canada) were used for verification of retention time and equimolar response.

The CPN tools [50] are also applied to the verification of real-time systems, which are modeled via a colored (timed and untimed) Petri net.

Timed automata have successfully been used for the modeling and verification of real-time systems.

A series of image processing algorithms are set up to analyze cable image for the verification of real-time and veracity of the detection method.

In addition, SCJ has a sufficiently tight thread semantics and a programming model based on tasks grouped in missions, all contributing to facilitating verification of real-time properties.