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 Shoham; James R.Wilcox; Doug Woos


BibTeX Export

@misc{marcelo_taube_2018_2577103,
  author       = {Marcelo Taube and
                  Giuliano Losa and
                  Kenneth L. McMillan and
                  Oded Padon and
                  Mooly Sagiv and
                  Sharon Shoham 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.2577103},
  url          = {https://doi.org/10.5281/zenodo.2577103}
}
184
46
views
downloads
All versions This version
Views 18462
Downloads 4620
Data volume 335.9 GB147.8 GB
Unique views 15858
Unique downloads 4218

Share

Cite as