(redirected from Proof of correctness)
Also found in: Dictionary, Thesaurus.
References in periodicals archive ?
High-level requirements work like assertions -- but at a higher level -- so they cover much more of a design's functionality than any sum of lower-level assertions, and therefore, once proved, provide greater proof of correctness.
High-level requirements are similar to assertions and are compatible with assertion-based verification (ABV), but they work at a higher level of abstraction, enabling greater design coverage and higher proof of correctness, independent of the implementation.