Correctness

Correctness (computer science)(Q360812) is the quality of an algorithm being correct with respect to a specification. It is a logical property of a computing program that satisfies both safety and liveness properties of a system design requirements. These properties are reasoned about through the use of partially-ordered sets, or lattices, as a sequence of causally dependent data points to guarantee rationality.