Modularity for decidability of deductive verification with applications to distributed systems.

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos

Browse the full PLDI paper archive.