Difference between revisions of "Correctness"
Jump to navigation
Jump to search
(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,...") |
|||
| Line 1: | Line 1: | ||
[[Correctness]] is a system-level property that is composed of [[safety]] and [[liveness]]. These properties are reasoned about through the use of [[partially-ordered set]]s, or [[lattice]s, as a sequence of causally dependent data points to guarantee rationality. | [[Correctness]] is a system-level property that is composed of [[safety]] and [[liveness]]. These properties are reasoned about through the use of [[partially-ordered set]]s, or [[lattice]]s, as a sequence of causally dependent data points to guarantee rationality. | ||
Revision as of 04:33, 6 September 2021
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 lattices, as a sequence of causally dependent data points to guarantee rationality.