whentojump / verifiable-controllers Goto Github PK
View Code? Open in Web Editor NEWThis project forked from vmware-research/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
License: Other