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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
246
56
views
downloads
All versions This version
Views 24690
Downloads 5626
Data volume 409.2 GB192.1 GB
Unique views 21084
Unique downloads 5124

Share

Cite as