Ctrl K

Software Projects Organisations Communities

Ctrl K

Limited functionality: Your browser does not support JavaScript.

Software Highlights

Browse all Highlights

All software

1Filter

Order by

Keywords

22

Program languages

8

Licenses

2

Items

1-2 of 2

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

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