Modularity for Decidability

Modularity for Decidability of Deductive Verification with Applications to Distributed Systems 
Marcelo Taube, Giuliano Losa, Kenneth McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos. PLDI 2018.

• PDF of paper
• Conference site
• Video
• Slides
• Arifact:
  • Zipped virtual machine (with some tools fails to unzip, works correctly with windows file explorer)
  • Tarred virtual machine
• Ivy language website