Safety

From PKC
Revision as of 04:36, 6 September 2021 by Admin (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.
Retrieved from "https://pkc.pub/index.php?title=Safety&oldid=11953"