Difference between revisions of "Liveness"
Jump to navigation
Jump to search
| (2 intermediate revisions by one other user not shown) | |||
| 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: | 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. | Where good is some kind of desirable and [[detectable condition]]. | ||
[[ | In contrast, [[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.''' | ||
{{PagePostfix | |||
|category_csd=Logic,Hoare Logic | |||
}} | |||
Latest revision as of 08:35, 7 December 2022
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. In contrast, safety is a logically derived property that states:
Nothing bad happens given the explicitly stated logical boundaries.
References