All software
3 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-3 of 3
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
- C
- C++
- JSON
- + 5
5
0
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
- C
- C++
- JSON
- + 6
3
0
Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR
Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR
- Deductive verification
- LLVM
- LLVM-IR
- + 4
2
0