PrototypeCommon
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
- Owner
- anvil-verifier (organization)
- Stars
- Stars: 244
- Forks
- Forks: 21
- Language
- Rust
- License
- None
- Created
- 2022
- Topics
- kuberneteskubernetes-controllerkubernetes-operatorverificationcompositionalityformal-verificationlivenesssafetytemporal-logictla
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- friendlymatthew/gabagoolStars: 244RustPrototype
- basecompute/baseRTStars: 244RustPrototype
- murray17/rovai-aiStars: 244RustPrototype
- fflorent/nom_locateStars: 244RustPrototype
- tcr/edit-textStars: 244RustPrototype
- darwinia-network/darwiniaStars: 244RustPrototype