(redirected from Provably correct)
Also found in: Dictionary, Thesaurus.
References in periodicals archive ?
The kernel of clean-room software-engineering assurance is trusted software engineering using structured programming with its rigorous and provably correct use of zero-and-one predicate prime programs along with proper programs composed of multiple prime programs limited to single entry and single exit.
Design levels 1 and 2 supported the systems engineering preliminary design review (PDR), with intended functions of components, interface specifications, and software architecture rules of construction; design levels 3 and 4 comprised the basis for the software engineering critical design review (CDR) with provably correct, stepwise refined elaborations of functionality.