jsinglet/strongarm

Tool for extracting strongest postconditions from Java programs

TeXNOASSERTION