Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

  • Arnd Hartmanns (Creator)
  • Bram Kohlen (Creator)
  • Peter Lammich (Creator)

Dataset

Description

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.
Date made available31 Oct 2023
Publisher4TU.Centre for Research Data

Access Dataset

  • 1 Conference contribution

  • Fast Verified SCCs for Probabilistic Model Checking

    Hartmanns, A., Kohlen, B. & Lammich, P., 22 Oct 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer Nature, p. 181-202 22 p. (Lecture Notes in Computer Science; vol. 14215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    22 Downloads (Pure)

Cite this