xlab-uiuc/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
RustNOASSERTION
Issues
- 0
- 0
- 0
Action plan for Aug 1 - Aug 8
#10 opened - 0
Action plan May 16 - May 22
#8 opened - 0
Action plan May 8 - May 15
#7 opened