Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
19
Program languages
9
Licenses
2
1-2 of 2
Logo for Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

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

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

  • Correct-by-construction
  • Gabow
  • IRF
  • + 13
    3
    1
    Logo for Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

    Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

    Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

    • Correct-by-construction
    • Interactive Theorem Proving
    • Maximal End Components
    • + 3
    • Other
    • XML
    • JSON
    • + 6
    3
    0