Modularity For Decidability Of Deductive Verification With Applications To Distributed Systems
Taube, Marcelo; Losa, Giuliano; McMillan, Kenneth L.; Padon, Oded; Mooly Sagiv; Shoham, Sharon; R.Wilcox, James; Woos, Doug;
- Publisher: Zenodo
Identifiers: , ,
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