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
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
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