%0 Computer Program
%A Hartmanns, Arnd
%A Kohlen, Bram
%A Lammich, Peter
%D 2023
%T Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
%U 
%R 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2
%K Model Checking
%K Strongly connected components
%K SCC
%K Modest toolset
%K Isabelle/HOL
%K Isabelle Refinement Framework
%K IRF
%K Gabow
%K Program verification
%K correct-by-construction
%X <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>
%I 4TU.ResearchData