example.name = Smans et al. / Cell
example.path = Dynamic Frames
example.additionalFile.1 = src/Cell.java
example.additionalFile.2 = src/CellClient.java
example.additionalFile.3 = src/Iterator.java
example.additionalFile.4 = src/ArrayList.java
example.additionalFile.5 = src/Stack.java

The examples from the paper "An Automatic Verifier for Java-like Programs Based on Dynamic Frames" by Jan Smans, Bart Jacobs, Frank Piessens and Wolfram Schulte.

All proof obligations are verifiable without user interaction.
