Difference between revisions of "Safety"
Jump to navigation
Jump to search
(Created page with "Safety is a logically derived property that states: '''Nothing bad happens given the explicitly stated logical boundaries.''' It is a complementary property of liveness...") |
|||
| Line 3: | Line 3: | ||
It is a complementary property of [[liveness]], which states that: | It is a complementary property of [[liveness]], which states that: | ||
'''Something good must happen with the explicitly stated logical boundaries'''. | '''Something good must happen with the explicitly stated logical boundaries'''. | ||
{{PagePostfix | |||
|category_csd=Logic,Hoare Logic | |||
}} | |||
Latest revision as of 08:35, 7 December 2022
Safety is a logically derived property that states:
Nothing bad happens given the explicitly stated logical boundaries.
It is a complementary property of liveness, which states that:
Something good must happen with the explicitly stated logical boundaries.
References