Modularity For Decidability Of Deductive Verification With Applications To Distributed Systems

Article, Other literature type en OPEN
Taube, Marcelo; Losa, Giuliano; McMillan, Kenneth L.; Padon, Oded; Mooly Sagiv; Shoham, Sharon; R.Wilcox, James; Woos, Doug;

This is the artifact of the paper. Its a compressed virtual machine that can be imported by VirtualBox. Abstract of the paper: Proof automation can substantially increase productivity in formal verification of complex systems. However, unpredictablility of... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Article, 2018)
  • Cite this publication