Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
23
Program languages
9
Licenses
2
1-4 of 4
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
    2
    Logo for Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

    Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

    Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

    • Correct-by-construction
    • Floating-point
    • IEEE 754
    • + 6
    • Other
    • C
    • JSON
    • + 5
    5
    0
    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
    Logo for Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

    Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

    Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

    • Correct-by-construction
    • Interactive Theorem Proving
    • Markov decision process
    • + 1
    • Other
    • C
    • C++
    • + 4
    1
    0