Rodrigo Castaño

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Verification techniques and software model checking in particular have gained considerable traction in industry, especially after a number of high-profile success stories tackling specific problems. However, widespread adoption remains distant and, among other causes, one obstacle is the huge number of systems that software model checkers cannot fully(More)
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 specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The(More)
  • 1