Correctness
Revision as of 04:33, 6 September 2021 by Admin (talk | contribs) (Created page with "Correctness is a system-level property that is composed of safety and liveness. These properties are reasoned about through the use of partially-ordered sets,...")
Correctness is a system-level property that is composed of safety and liveness. These properties are reasoned about through the use of partially-ordered sets, or [[lattice]s, as a sequence of causally dependent data points to guarantee rationality.