Repositories list

• 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.

  Java

  •380•585•46•7•Updated Nov 15, 2025Nov 15, 2025

• jpf-nas

  Public
  Java

  •3•2•4•1•Updated Aug 7, 2025Aug 7, 2025

• jpf-nhandler

  Public

  javapathfinder/jpf-nhandler’s past year of commit activity
  Java

  •

  GNU General Public License v3.0

  •11•6•4•0•Updated Jun 6, 2025Jun 6, 2025

• jpf-wiki-sync

  Public

  javapathfinder/jpf-wiki-sync’s past year of commit activity
  Repository that gets synchronized with the wiki on jpf-core

  TeX

  •29•3•3•1•Updated Aug 25, 2023Aug 25, 2023

• jpf-symbc

  Public
  Symbolic PathFinder

  Java

  •100•6•0•0•Updated Jul 12, 2022Jul 12, 2022

• jpf-label

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

  Java

  •

  GNU General Public License v3.0

  •0•3•0•0•Updated Jan 30, 2021Jan 30, 2021

• jpf-probabilistic

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

  Java

  •

  GNU General Public License v3.0

  •1•4•0•0•Updated Jan 23, 2021Jan 23, 2021

• benchexec

  Public
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Python

  •

  Apache License 2.0

  •222•3•0•0•Updated Nov 16, 2018Nov 16, 2018

• sv-comp

  Public

  javapathfinder/sv-comp’s past year of commit activity
  Information to reproduce results from SV-COMP

  Apache License 2.0

  •51•0•0•0•Updated Oct 19, 2018Oct 19, 2018