CATG Alternatives

Similar projects and alternatives to CATG based on common topics and language

• Checker Framework

  0 716 9.9 Java

  Pluggable type-checking for Java

  

• OpenJML

  0 82 7.2 Java

  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:

  

• Scout APM

  Sponsored scoutapm.com

  Scout APM - Leading-edge performance monitoring starting at $39/month. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

• jCUTE

  0 71 0.0 Java

  Java Concolic Unit Testing Engine

  

• JMLOK 2.0

  0 4 0.0 Java

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

• hacl-star

  0 1,362 9.8 F*

  HACL*, a formally verified cryptographic library written in F*

  

• practical-fm

  0 292 3.0

  A gently curated list of companies using verification formal methods in industry

• creusot

  0 129 8.4 Rust

  deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!