Sentence examples for guarantees correctness from inspiring English sources

From the verification point of view, the description of the lacking component through a logic formula guarantees correctness of the integration with p of any process that exhibits a behaviour compliant with the inferred formula.

Knowledge requires reasons, and God can have no satisfactory reason for his belief, if by "satisfactory" we understand what the infallible omniscience usually attributed to him would require — namely, a reason that guarantees correctness.

Remember that admissibility isn't enough to guarantee correctness in graph search -- you need the stronger condition of consistency.

(more details below) Still, to guarantee correctness, we need to be able to do division on any number less then the square of the modulus.

Particularly in safety- critical CPS such as automotive control systems, the protection against malicious design and interaction faults is paramount to guaranteeing correctness and reliable operation.

In order to guarantee correctness, certain values that are computed and overwritten in the original program must be made available in the adjoint program.

We describe mechanisms that allow rule processing to occur separately at each site and guarantee correctness: parallel or distributed rule processing is provably equivalent to rule processing in the corresponding centralized environment.

We show that besides the usual energy balance and unit operations constraints, additional equations must be included in the model to guarantee correctness of the produced heating pipeline designs.

A media analyst a decade ago would likely have used research-grade information platforms that returned precise results with guaranteed correctness.

All calculations were checked and recalculated by CM to guarantee correctness.

These criteria were very stringent to guarantee correctness, rather than completeness.