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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
275
77
views
downloads
All versions This version
Views 275174
Downloads 7740
Data volume 562.8 GB289.4 GB
Unique views 224166
Unique downloads 6637

Share

Cite as