# decomposition (blogs) — RSS Amplifier

Recent posts from the 1 feeds in the RSS Amplifier directory that cover decomposition.

Page: <https://rssamplifier.com/topics/decomposition/blogs>  
Feed: <https://rssamplifier.com/topics/decomposition/blogs.md>

---

## [Safety-Refined Liveness](http://lucteo.ro/2026/05/10/safety-refined-liveness/)

_2026-05-10 · CompuTruthing_

Correctness properties of programs are traditionally decomposed into safety (“nothing bad happens”) and liveness (“something good eventually happens”). In sequential verification, this corresponds to the well-known decomposition of total correctness into partial correctness and termination. In this paper, we present a principle-first view of correctness: under suitable safety guarantees, liveness…