Conference PaperCompositional Model-Driven Verification of Weakly Consistent Distributed SystemsCurto, Bryant J (ORCID:0009000710969893); Kim, Jeonghyeon (ORCID:0009000070703578); Wang, Alan (ORCID:000900017774023X); Im, Gijung (ORCID:0009000202804451); Kim, Jieung (ORCID:000000017581041X); Kang, Jeehoon (ORCID:0000000221150871); Shin, Ji-Yong (ORCID:0000000215954849)Not AvailableACM2025-10-131065613342 to 50https://doi.org/10.1145/3764860.37683312019285; 2442888National Science Foundation