Ctrl K

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

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

1
mention
3
contributors

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.

Reference papers

Mentions

Contributors

Member of community

4TU
The RSD will be updated on the 4th of July between 14:00 and 14:30 (CEST). You may experience a brief downtime and may need to re-authenticate.