A static checker that model checks the implementation of equality for an Eclipse Java Project.
Features
- 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).
License
GNU General Public License version 3.0 (GPLv3)Follow Equals Checker
Other Useful Business Software
Try Google Cloud Risk-Free With $300 in Credit
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Equals Checker!