Skip to content
@javapathfinder

Java Pathfinder

Popular repositories Loading

  1. jpf-core jpf-core Public

    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 infrastruc…

    Java 536 340

  2. jpf-nhandler jpf-nhandler Public

    Java 5 7

  3. jpf-symbc jpf-symbc Public

    Forked from SymbolicPathFinder/jpf-symbc

    Symbolic PathFinder

    Java 5

  4. jpf-probabilistic jpf-probabilistic Public

    jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.

    Java 4 1

  5. benchexec benchexec Public

    Forked from sosy-lab/benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 3

  6. jpf-wiki-sync jpf-wiki-sync Public

    Repository that gets synchronized with the wiki on jpf-core

    TeX 3 25

Repositories

Showing 9 of 9 repositories
  • jpf-core Public

    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.

    javapathfinder/jpf-core’s past year of commit activity
    Java 536 340 39 6 Updated Oct 10, 2024
  • jpf-nhandler Public
    javapathfinder/jpf-nhandler’s past year of commit activity
    Java 5 GPL-3.0 7 2 (2 issues need help) 0 Updated Jul 11, 2024
  • jpf-wiki-sync Public

    Repository that gets synchronized with the wiki on jpf-core

    javapathfinder/jpf-wiki-sync’s past year of commit activity
    TeX 3 25 4 0 Updated Aug 25, 2023
  • jpf-symbc Public Forked from SymbolicPathFinder/jpf-symbc

    Symbolic PathFinder

    javapathfinder/jpf-symbc’s past year of commit activity
    Java 5 92 0 0 Updated Jul 12, 2022
  • jpf-nas Public
    javapathfinder/jpf-nas’s past year of commit activity
    Java 2 1 0 0 Updated May 12, 2021
  • jpf-label Public

    jpf-label is a basic extension of JPF which provides an easy way to label states with atomic propositions.

    javapathfinder/jpf-label’s past year of commit activity
    Java 3 GPL-3.0 0 0 0 Updated Jan 30, 2021
  • jpf-probabilistic Public

    jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.

    javapathfinder/jpf-probabilistic’s past year of commit activity
    Java 4 GPL-3.0 1 0 0 Updated Jan 23, 2021
  • benchexec Public Forked from sosy-lab/benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    javapathfinder/benchexec’s past year of commit activity
    Python 3 Apache-2.0 203 0 0 Updated Nov 16, 2018
  • sv-comp Public Forked from sosy-lab/sv-comp

    Information to reproduce results from SV-COMP

    javapathfinder/sv-comp’s past year of commit activity
    0 Apache-2.0 50 0 0 Updated Oct 19, 2018

Most used topics

Loading…