Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.

Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin

Browse the full PLOS paper archive.