This repository contains code and resources for the verification tutorial at SIGCOMM'21.
If you have trouble building the repo, don't worry. You can follow along with the presenters in the tutorial.
Materials for SIGCOMM '21 Tutorial on Verification
This repository contains code and resources for the verification tutorial at SIGCOMM'21.
If you have trouble building the repo, don't worry. You can follow along with the presenters in the tutorial.
Materials for SIGCOMM '21 Tutorial on Verification
MIT License