There is a newer version of this record available.

Journal article Open Access

Modularity for Decidability of Deductive Verification with Applications to Distributed Systems

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


BibTeX Export

@misc{marcelo_taube_2018_1218853,
  author       = {Marcelo Taube and
                  Giuliano Losa and
                  Kenneth L. McMillan and
                  Oded Padon and
                  Mooly Sagiv and
                  Sharon Shoam and
                  James R.Wilcox and
                  Doug Woos},
  title        = {{Modularity for Decidability of Deductive 
                   Verification with Applications to Distributed
                   Systems}},
  month        = apr,
  year         = 2018,
  publisher    = {Zenodo},
  version      = 1,
  doi          = {10.5281/zenodo.1218853},
  url          = {https://doi.org/10.5281/zenodo.1218853}
}
184
46
views
downloads
All versions This version
Views 184124
Downloads 4626
Data volume 335.9 GB188.1 GB
Unique views 158121
Unique downloads 4224

Share

Cite as