review assistant for Java programs http://www.serc.nl/people/florijn/work/designchecking/RevJava.htm CategorySoftwareTool