Popularity
5.8
Growing
Activity
9.8
Declining
754
41
290

Code Quality Rank: L1
Programming language: Java
License: GNU General Public License v3.0 or later
Latest version: v3.8.0

Checker Framework alternatives and similar libraries

Based on the "Formal Verification" category.
Alternatively, view Checker Framework alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of Checker Framework or a related project?

Add another 'Formal Verification' Library

README

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file [docs/CHANGELOG.md](docs/CHANGELOG.md).

Documentation for Checker Framework developers is in directory docs/developer/.