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

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Modularity for decidability of deductive verification with applications to distributed systems'. Together they form a unique fingerprint.

Engineering & Materials Science