Using Time-Independent Resource Limits to Improve the Reproducibility of CPAchecker

Bachelor’s Thesis in Computer Science

The Jupyter notebooks can be conveniently launched at:

Code can be evaluated at: https://gitlab.com/sosy-lab/software/cpachecker/-/tree/statistics-refactor

Or svn branch: statistics-refactor