A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Browse the full CAV paper archive.