vmware-research/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
RustNOASSERTION
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
RustNOASSERTION