Some small tutorials

Q: How can I predict the heap usage of a Java function?

A: Be sure to have the Costa plugin installed (see next question).

Q: How do I install the Costa plugin?

Q: How do I install the ResAna plugin?

Recorded lectures

Lecture about Costa

Lecture about Ranking Functions (continuation of previous lecture)

Lecture about Heap and Stack Bounds

Lecture about ResAna: Test-Based Inference of Polynomial Ranking Functions for Loops