Anybody tried OpenJML's static checker? What's it's state?

This page summarizes the projects mentioned and recommended in the original post on /r/java
Formal Verification

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • 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:

    • Has anyone successfully used OpenJML's static checker on a real project to reduce defects?

  • 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
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • What if null was an Object in Java?

    3 projects | news.ycombinator.com | 28 Apr 2024

  • FizzBee: Open-source formal methods tool that's not hard

    1 project | news.ycombinator.com | 1 Apr 2024

  • @Nullable et @NonNull

    1 project | dev.to | 29 Mar 2024

  • Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

    5 projects | news.ycombinator.com | 23 Mar 2024

  • Creusot, a deductive verifier for Rust code

    1 project | news.ycombinator.com | 29 Feb 2024