2 ms·Deep Dive into Kubernetes Network Policies2 points by dtornow 6y agodtornow 6y agoWith specifications in First Order Logic (TLA+ syntax)