Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
Home Page:https://goto.ucsd.edu/~rkici/popl19_artifact_evaluation/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool