Get started
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
7
mentions
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.
Keywords
License
- MIT
Packages
Reference papers
Mentions
- 1.Author(s): Arnd Hartmanns, Robert ModdermanPublished in Lecture Notes in Computer Science, Reachability Problems by Springer Nature Switzerland in 2025, page: 186-20110.1007/978-3-032-09524-4_13
- 2.Author(s): Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter LammichPublished in Lecture Notes in Computer Science, Computer Aided Verification by Springer Nature Switzerland in 2025, page: 122-14610.1007/978-3-031-98679-6_6
- 3.Author(s): Arnd Hartmanns, Bram Kohlen, Peter LammichPublished in Lecture Notes in Computer Science, Formal Methods by Springer Nature Switzerland in 2024, page: 206-22510.1007/978-3-031-71162-6_11
- 1.Author(s): Radu Calinescu, Simos Gerasimou, Sinem Getir Yaman, Gricel Vazquez, Micah BassettPublished in 202610.1145/3744916.3773253
- 2.Author(s): Maximilian Schäffeler, Mohammad AbdulazizPublished in 202510.1609/aaai.v39i25.34868
- 3.Author(s): Maximilian Schäffeler, Mohammad AbdulazizPublished in 202310.1609/aaai.v37i12.26759
Contributors
AH
Arnd Hartmanns
BK
Bram Kohlen
PL
Peter Lammich
Member of community