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).

Project Activity

See All Activity >

Categories

Code Generators, Source Code Analysis

License

GNU General Public License version 3.0 (GPLv3)

Follow Equals Checker

Equals Checker Web Site

Other Useful Business Software
Our Free Plans just got better! | Auth0 Icon
Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Equals Checker!

Additional Project Details

Intended Audience

Science/Research, Developers, Engineering

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Code Generators, Java Source Code Analysis Tool

Registered

2011-02-03
Report inappropriate content