開發者 eqchecker.sf.net

模型檢查 Eclipse Java 專案的相等性實現靜態檢查器。