A static checker that model checks the implementation of equality for an Eclipse Java Project.
- Detection of low-level errors through path-sensitive, data-flow analysis.
- Detection of semantic errors related to equivalence relation through the Alloy constraint solver.
- Eclipse plugin update site available (see project's home page).
Be the first to post a review of Equals Checker!