Using simulated execution in verifying distributed algorithms.

Toh Ne Win Michael D. Ernst Stephen J. Garland Dilsun Kirli Kaynar Nancy A. Lynch Using simulated execution in verifying distributed algorithms. 67-76 2004 6 STTT 1 http://www.springerlink.com/index/10.1007/s10009-003-0126-5 db/journals/sttt/sttt6.html#WinEGKL04