Difference between revisions of "Liveness"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
In contrast, [[safety]] is a logically derived property that states: | 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