Hacker News new | ask | show | jobs
Deep Dive into Kubernetes Network Policies (dominik-tornow.medium.com)
2 points by dtornow 1953 days ago
1 comments

With specifications in First Order Logic (TLA+ syntax)