xlab-uiuc
Pinned
Repositories
Showing 10 of 76 repositories
- verifiable-controllers Public 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.
- llvm-mcdc Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
- linux-mcdc Public
-
-
- anvil-ae-cloudlab Public