Geeks
zkincaid
/
duet
Duet: static analysis for unbounded concurrency
Primary Language
OCaml
MIT License
MIT
duet Home Page
duet GitHub
Markdown
Readme
6
Issues
23
Stargazers
7
Watchers
Watchers
AshkanFb
cyphertjohn
jhcloos
ksuenaga
Kyoto University
lorisdanto
University of Wisconsin
nclskoh
zkincaid
Princeton University