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

Bachelor's Thesis

Software and Computational Systems Lab
Faculty of Computer Science
Ludwig-Maximilians-University of Munich

---

📓 Interactive Notebooks

Launch the accompanying Jupyter notebooks conveniently via Binder.

🧑‍💻 Source Code

The source code developed as part of this thesis is available for review on GitLab.