/sigcomm21-tutorial

Materials for SIGCOMM '21 Tutorial on Verification

Primary LanguageCoqMIT LicenseMIT

SIGCOMM'21 Verification Tutorial

This repository contains code and resources for the verification tutorial at SIGCOMM'21.

Building

If you have trouble building the repo, don't worry. You can follow along with the presenters in the tutorial.

  1. Install the Z3 solver.
  2. Install OCaml.
  3. Install OPAM.
  4. Run opam install . --deps-only in the root directory of this repository.
  5. Run make in the root directory of this repository.