TLC is an explicit state model checker for specifications in TLA+
A tool to help eliminate NullPointerExceptions (NPEs) in your code
Java byte code compatibility analyser
Plaggie is a standalone open source plagiarism detection application
OS independent mouse rate checker written in Java.
The OZEKI VoIP Service Checker allows you to check VoIP services.
KF Checker is a tool for analysing Information Flow properties.