vmware-research/verifiable-controllers

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

2 best points · 0 comments · 1 Hacker News post · 249 GitHub stars · View on GitHub

Hacker News discussions

• Anvil: Building Formally Verified Kubernetes Controllers (2 points, 0 comments, by Bnjoroge, 2024-07-14)