Java Formal Verification

Open-source Java projects categorized as Formal Verification
Edit details
Topics: Java Types Verification
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 5 Java Formal Verification Projects

  • Checker Framework

    Pluggable type-checking for Java

    • Project mention: What if null was an Object in Java? | news.ycombinator.com | 2024-04-28

    I’m not familiar enough with kotlin to comment fully but from your description the checker framework [0] appears to do the same thing in Java.

    I confess I’m not fond of checker framework. I find the error messages can be obtuse but it is very effective.

    0 - https://checkerframework.org/

  • OpenJML

    This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • CATG

    a concolic testing engine for Java

  • jCUTE

    Java Concolic Unit Testing Engine

  • JMLOK 2.0

    Tool for detecting and classifying nonconformances in Java/JML projects.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Java Formal Verification related posts

Index

What are some of the best open-source Formal Verification projects in Java? This list will help you:

Project Stars
1 Checker Framework 990
2 OpenJML 135
3 CATG 98
4 jCUTE 85
5 JMLOK 2.0 4

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com