Sentence examples for preserve correctness from inspiring English sources
This can also be seen as an alternative approach to the correctness problem: programs are derived from their specifications by laws that preserve correctness.
However, the theory reveals an inherent limitation in that the premises of the argumentation process are assumed to be indefeasible, and this introduces the need of an implicit constraint on the strength of the arguments, in order to preserve correctness.
We show a number of LIP protocols to preserve the correctness with respect to their fully synchronous specifications using our framework.
These are actually computation rules over proof nets, and the correctness criteria allow to verify easily that any such rule preserves correctness, and as a consequence the reductum of a proof net still comes from a sequent calculus proof of the same sequent.
Verifying that such refinements are correctness preserving, researchers have used model checking in the past.
Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS.
The correctness preserving refinement of a fully synchronous model onto a globally asynchronous communication media implies that various restrictions be imposed on the synchronous model.
A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original program with respect to a specification given by a pre postcondition pair.
I-confluence [3] determines whether a conflicting operation will preserve application invariants based on application dependent correctness criterion.
To validate the correctness of our experimental procedure, we tested whether EPTA-stained images preserve roughly the same density of synapses that appear in conventional EM images of the same region.
Trump votes were a stand against creeping political correctness, or a way to get a pro-life Supreme Court, or a desperate attempt to preserve a shrinking manufacturing industry that Trump vowed to save, or a cry from marginalized white people.
