prpr2770 / goolong Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gokhankici/goolong
Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
Home Page: https://goto.ucsd.edu/~rkici/popl19_artifact_evaluation/
License: Other