/verifiable-controllers

This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

Primary LanguageRustOtherNOASSERTION

Watchers