The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 5 Java Formal Verification Projects
-
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.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Java Formal Verification related posts
- @Nullable et @NonNull
- Too Dangerous for C++
- JEP 457: Class-File API for Parsing, generating, transforming
- I introduced Rust at work
- Checker Framework - Pluggable type systems for Java
- Don’t call it a comeback: Why Java is still champ
- Why Java Doesn't Support Multiple Inheritance
-
A note from our sponsor - WorkOS
workos.com | 26 Apr 2024
Index
What are some of the best open-source Formal Verification projects in Java? This list will help you:
Project | Stars | |
---|---|---|
1 | Checker Framework | 976 |
2 | OpenJML | 132 |
3 | CATG | 97 |
4 | jCUTE | 85 |
5 | JMLOK 2.0 | 4 |
Sponsored