cff-version: 1.2.0
abstract: "<p>The artifact that backs up the data in our ATVA 2023 Paper titled "Fast Verified SCCs for Probabilistic Model Checking". This artifact contains the proof files for Isabelle/HOL. Running the proofs yields a LLVM implementation of Gabow's algorithm that can be compiled to a dynamic library. This artifact also contains a version of the Modest toolset that can use this library to replace the built-in SCC algorithm. Lastly, the artifact contains scripts that reproduce the results in the paper. The additional reference contains a link to browsable version of the artifact that allows proofs to be inspected without downloading anything.</p>"
authors:
  - family-names: Hartmanns
    given-names: Arnd
    orcid: "https://orcid.org/0000-0003-3268-8674"
  - family-names: Kohlen
    given-names: Bram
    orcid: "https://orcid.org/0000-0003-2908-8838"
  - family-names: Lammich
    given-names: Peter
    orcid: "https://orcid.org/0000-0003-3576-0504"
title: "Artifact for the Paper &#34;Fast Verified SCCs for Probabilistic Model Checking&#34;"
keywords:
version: 2
identifiers:
  - type: doi
    value: 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2
license: MIT
date-released: 2023-10-31