@misc{https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2,
  doi = {10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2},
  url = {},
  author = {Hartmanns, Arnd and Kohlen, Bram and Lammich, Peter},
  keywords = {Model Checking, Strongly connected components, SCC, Modest toolset, Isabelle/HOL, Isabelle Refinement Framework, IRF, Gabow, Program verification, correct-by-construction},
  title = {Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {MIT},
}