@misc{indiciae31325c163243,
  title = {Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)},
  author = {Daniel Baier and Dirk Beyer and Po-Chun Chien and Marie-Christine Jakobs and Marek Jankola and Matthias Kettl and Nian-Ze Lee and Thomas Lemberger and Marian Lingsch-Rosenfeld and Henrik Wachowitz and Philipp Wendler},
  year = {2024},
  url = {https://arxiv.org/abs/2409.02094},
  note = {Source identifier: 2409.02094}
}