Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
jpf-core
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.
jpf-label
jpf-label is a basic extension of JPF which provides an easy way to label states with atomic propositions.
jpf-nas
jpf-nhandler
jpf-probabilistic
jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.
jpf-symbc
Symbolic PathFinder
jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
sv-comp
Information to reproduce results from SV-COMP
Java Pathfinder's Repositories
javapathfinder/jpf-core
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-nhandler
javapathfinder/jpf-symbc
Symbolic PathFinder
javapathfinder/jpf-probabilistic
jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.
javapathfinder/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
javapathfinder/jpf-label
jpf-label is a basic extension of JPF which provides an easy way to label states with atomic propositions.
javapathfinder/jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
javapathfinder/jpf-nas
javapathfinder/sv-comp
Information to reproduce results from SV-COMP