Skip to content
Change the repository type filter

All

    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
      342539406Updated Oct 10, 2024Oct 10, 2024
    • Java
      GNU General Public License v3.0
      7520Updated Jul 11, 2024Jul 11, 2024
    • Repository that gets synchronized with the wiki on jpf-core
      TeX
      25340Updated Aug 25, 2023Aug 25, 2023
    • jpf-symbc

      Public
      Symbolic PathFinder
      Java
      91500Updated Jul 12, 2022Jul 12, 2022
    • jpf-nas

      Public
      Java
      1200Updated May 12, 2021May 12, 2021
    • 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
      0300Updated Jan 30, 2021Jan 30, 2021
    • jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.
      Java
      GNU General Public License v3.0
      1400Updated Jan 23, 2021Jan 23, 2021
    • benchexec

      Public
      BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
      Python
      Apache License 2.0
      202300Updated Nov 16, 2018Nov 16, 2018
    • sv-comp

      Public
      Information to reproduce results from SV-COMP
      Apache License 2.0
      50000Updated Oct 19, 2018Oct 19, 2018