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…