Dynamic detection of likely invariants (by codespecs)


Basic Daikon repo stats
8 days ago

Daikon Alternatives

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

  • GitHub repo hacl-star

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

  • GitHub repo Checker Framework

    Pluggable type-checking for Java

  • GitHub repo practical-fm

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

  • GitHub repo creusot

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

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

  • GitHub repo CATG

    a concolic testing engine for Java

  • GitHub repo ouroboros-high-assurance

    High-assurance implementation of the Ouroboros protocol family

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better Daikon alternative or higher similarity.


Posts where Daikon has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning Daikon yet. We started tracking mentions in Dec 2020.