Difference between revisions of "Liveness"
Jump to navigation
Jump to search
(Created page with "Liveness is a complementary property of safety, which states that: '''Something good must happen with the explicitly stated logical boundaries'''. Safety is a lo...") |
|||
| Line 1: | Line 1: | ||
[[ | For a project or a computational program, [[liveness]] is about being alive, and it can be stated as a formal logical condition: | ||
'''Something good must happen with the explicitly stated logical boundaries'''. | '''Something good must happen with the explicitly stated logical boundaries'''. | ||
Where good is some kind of desirable and detectable condition. | |||
[[Safety]] is a logically derived property that states: | [[Safety]] is a logically derived property that states: | ||
'''Nothing bad happens given the explicitly stated logical boundaries.''' | '''Nothing bad happens given the explicitly stated logical boundaries.''' | ||
Revision as of 04:40, 6 September 2021
For a project or a computational program, liveness is about being alive, and it can be stated as a formal logical condition:
Something good must happen with the explicitly stated logical boundaries.
Where good is some kind of desirable and detectable condition. Safety is a logically derived property that states:
Nothing bad happens given the explicitly stated logical boundaries.