An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

Browse the full FASE paper archive.