Sentence examples for be checked for correctness from inspiring English sources

We have developed a graphical environment where services can be composed as desired by the user, together with a textual service composition interface in which compositions can also be checked for correctness.

Verifiability is described as the "degree and ease with which the information can be checked for correctness" [4].

Even though the pre-shares can be checked for correctness, Byzantine consensus on the set of shares is still necessary for the case when a malicious peer submits a incorrect share to only some peers.

TLA+, Lamport noted, allows you to do the high-level design of a system in a completely formal way — and because it's done formally, it can be checked for correctness, too (and to be fair, AWS and others also use TLA+ to spec out their distributed systems).

TLA+ has been wonderful in getting that level of rigor in a team of engineers to set the bar high for quality". TLA+, Lamport noted, allows you to do the high-level design of a system in a completely formal way — and because it's done formally, it can be checked for correctness, too (and to be fair, AWS and others also use TLA+ to spec out their distributed systems).

This term denotes a class of so-called "intractable" problems whose solutions can be checked for correctness in polynomially-bounded time, but finding the optimal solution would require an exponential amount of time in the worst case (the hardest instance) [5].

These revisions have not been checked for correctness, and the authors bear full responsibility for the contents of their papers.

The data was checked for correctness and implausible values.

Melting curves were checked for correctness and the size of the fragments was verified on agarose gels.

The taped interviews were transcribed verbatim and were checked for correctness by three of the interviewers who read the transcripts whilst listening to the audio-tapes.

The audio data were transcribed by a research assistant, and these transcripts were checked for correctness and completeness by the first author.