< Java
Twitter logo Share LinkedIn logo Share Facebook logo Share

Awesome Java Formal Verification

  • aws-crt-java aws-crt-java 52
    star
    updated 3 months ago Apache License 2.0

    Java bindings for the AWS Common Runtime

  • cpachecker cpachecker 222
    star
    updated 3 months ago Apache License 2.0

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

  • janala2 janala2 100
    star
    updated almost 7 years ago BSD 2-Clause "Sim...

    a concolic testing engine for Java

  • java-smt java-smt 178
    star
    updated 3 months ago Apache License 2.0

    JavaSMT - Unified Java API for SMT solvers.

  • jpf-core jpf-core 529
    star
    updated about 1 month ago

    JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.