Anvil: Verifying Liveness of Cluster Management Controllers
Smart Casual Verification of the Confidential Consortium Framework
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Welder: Compositional Liveness Verification of Cluster Control Planes
动机和挑战