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 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
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
- Concurrent Separation Logic
- Isabelle
- LLVM
- + 1
1
0