Skip to content
/ sigcomm21-tutorial Public
forked from cornell-netlab/sigcomm21-tutorial

Materials for SIGCOMM '21 Tutorial on Verification

License

MIT license
0 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

danna2019/sigcomm21-tutorial

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

49 Commits
bin
bin
 
 
coq
coq
 
 
lib
lib
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
coq-minip4.opam
coq-minip4.opam
 
 
dune-project
dune-project
 
 
minip4.opam
minip4.opam
 
 

Repository files navigation

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.

About

Materials for SIGCOMM '21 Tutorial on Verification

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Coq 57.4%
  • OCaml 42.2%
  • Makefile 0.4%