The call for invariant-driven development(blog.trailofbits.com)

https://blog.trailofbits.com/2025/02/12/the-call-for-invariant-driven-development/