anvil-verifier

Verifying Kubernetes controllers

Pinned Repositories

anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Language:Rust96 7 535

anvil-verifier's Repositories

anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Language:Rust96 7 535