Talk:Safety property

Changing the REDIRECT from "Safety property" to "Safety and liveness properties"
The "safety property" article is outdated and misleading about the breadth of the ideas of safety and liveness and omits rigorous definitions. It also says nothing about the ramifications of safety and liveness (i.e. that they form a complete and orthogonal basis and that they each are discharged with different kinds of proof obligations). This article --as well as the article "Liveness"-- needs substantial revision.

However, a single article on "Safety and liveness properties" together makes clear how the two definitions relate and says something about the interactive historical dance that got the field to this point. A single article avoids repeating some things twice. This new page "Safety and liveness properties" subsumes any specific formalism for representing properties. It conveys the notions of property, safety property, and liveness property in general. It also gives intuitive meanings and to points out some "stumbling block" properties (e.g. deadlock) that people often get wrong.

Hopefully, this is the start of removing articles "safety Property" and "liveness", in an orderly fashion, replacing them by "Safety and liveness properties". If this is no an appropriate way to tackle this problem, let me know. DavidGries (talk) 17:19, 19 October 2022 (UTC)
 * Hi DavidGries. I have no particular objection to your plan, but the lede (first section of the article) has to be understandable to a layperson. Imagine you're explaining the topic to a high-school student. Stuartyeates (talk) 21:49, 19 October 2022 (UTC)
 * Thanks for that comment. I've edited the lede to make it more understandable. It required mainly rearranging rather than writing totally anew.
 * DavidGries (talk) 09:58, 20 October 2022 (UTC)