< Java
Twitter logo Share LinkedIn logo Share Facebook logo Share

Awesome Java Formal Verification

  • aws-crt-java aws-crt-java 44
    star
    updated 2 months ago Apache License 2.0

    Java bindings for the AWS Common Runtime

  • cpachecker cpachecker 207
    star
    updated about 2 months ago Apache License 2.0

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

  • janala2 janala2 98
    star
    updated about 6 years ago BSD 2-Clause "Sim...

    a concolic testing engine for Java

  • java-smt java-smt 169
    star
    updated about 2 months ago Apache License 2.0

    JavaSMT - Unified Java API for SMT solvers.

  • jpf-core jpf-core 506
    star
    updated 10 days 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.