开发者 eqchecker.sf.net

模型检查 Eclipse Java 项目的相等性实现静态检查器。