Using Simulated Execution in Verifying Distributed Algorithms.

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch

Browse the full VMCAI paper archive.