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

You Might Also Like
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
Learn More
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