3 papers
cs.SE2017
Verification Coverage
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly ef…
cs.SE2016
Model Checker Execution Reports
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checker…
cs.SE2014
On Verifying Resource Contracts using Code Contracts
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky +2
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage speci…