All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
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